{"entities":{"Q4729784":{"pageid":6759361,"ns":120,"title":"Item:Q4729784","lastrevid":49307155,"modified":"2026-01-06T22:46:06Z","type":"item","id":"Q4729784","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4114627"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4729784$C96E694A-426F-4318-BA93-1535FE72BDC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"061b5031454f10d725c3a436b549d11fd0dc41d9","datavalue":{"value":"0681.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729784$864073C0-1CBB-489F-8055-3F5E6ABF06BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4729784$FAB1ADCA-316D-438D-B9E4-36A2A7DB5EE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4729784$F4BF8401-88B4-4B73-AA8E-519B3ECFA517","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729784$6CE2CA87-B4B4-417E-9021-C19350143CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729784$8EBBB850-13F9-4A28-BC96-D7A062762756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729784$15A2DEB6-53AB-4AEE-977D-6051A5F13E94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6f000dfd43ee65d6ce9daf1a1d4d652af5b7d8e","datavalue":{"value":"4114627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729784$04F6BF1A-8961-4635-9561-F9E9419BB54F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"535c0f96354ee58deed10155b926fd4f1bffad52","datavalue":{"value":"Grothendieck topoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729784$22156325-6EC4-43BF-8E33-08B907F0BBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f72bd00bc31f4df6ce5ee25a0abbfbbe0564d3b","datavalue":{"value":"higher-order intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729784$318A37B5-6AFF-4DA6-B7BD-B5A7115E6696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729784$6C74ABE2-D2F1-4C86-BE8D-2C8A2BD02F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"450b85b812916029483721b616432692928b6154","datavalue":{"value":"elementary topoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729784$79AE105B-1B83-43CB-826F-EE2C014CA48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cee997b59789f85389e5368906dadd5b2641bf0","datavalue":{"value":"geometric logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729784$62A9A8E5-399B-46B2-82B4-1F858AE1BAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47d0ef42dfebc4a31708b4057274fc2257311c14","datavalue":{"value":"existential fixed-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729784$FEF6DAE0-91F9-4881-ABEF-689E65C8F346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729784$B2F384F4-814D-498A-875D-17DD40156A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729784$F9BA764E-1E5B-43B2-8EB2-68C75A7C19B6","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4729784$ACF7F178-AE74-4AE3-AE62-630DC0BF7D40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed54709a6f673f644ce42b4811f4136a63885141","datavalue":{"value":{"entity-type":"item","numeric-id":3333040,"id":"Q3333040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"185d501922674ff5a0ceae6607ebddd505cdf7fd","datavalue":{"value":{"amount":"+0.7797276377677917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4729784$3CE91DFB-C6F9-48DE-B7EA-8D1FF7241202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab694737fa6843e1c5620833ccbdff9612fd3007","datavalue":{"value":{"entity-type":"item","numeric-id":4527916,"id":"Q4527916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f209bd7811f9ef60a5174d4e00e1783e4fc04942","datavalue":{"value":{"amount":"+0.7644611597061157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4729784$25DF6A32-2845-430B-B01A-806034898C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb350c983d1a38d30a864e0eb959a2d895ca8a1a","datavalue":{"value":{"entity-type":"item","numeric-id":4499150,"id":"Q4499150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02b6e0e535f442a9e9cf0f1802d567fa9de2f8d3","datavalue":{"value":{"amount":"+0.7594391107559204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4729784$93CE4502-E2B7-428D-8262-46C9C5AF43B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df04c12e1da713f3b1506667deb04afead4eb6db","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd5254dc5a704fbea83ff7d47600c045f398c893","datavalue":{"value":{"amount":"+0.7594181895256042","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4729784$491D8438-BD8E-4EED-A08E-BCD1DB61A215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"743ada289fadfaa222eda7e7ac0849af7447bd93","datavalue":{"value":{"entity-type":"item","numeric-id":4900225,"id":"Q4900225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3a69085bf07e2d4a6ea4cc78bb8ee26b9b42b0","datavalue":{"value":{"amount":"+0.7505174875259399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4729784$B714B388-D0B2-4EE0-8AA7-4FF82D0E2EE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4729784","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4729784"}}}}}