{"entities":{"Q4531579":{"pageid":6561171,"ns":120,"title":"Item:Q4531579","lastrevid":89656106,"modified":"2026-06-04T17:55:45Z","type":"item","id":"Q4531579","labels":{"en":{"language":"en","value":"Realization of Intuitionistic Logic by Proof Polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1744198"}},"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":"Q4531579$1D815EB7-2D76-4D7D-AA8F-3552909BAC0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afdec05785b841aced38302f21de1a1851b889a9","datavalue":{"value":{"text":"Realization of Intuitionistic Logic by Proof Polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4531579$B3676B13-7FE3-47B4-94D5-D51C919ED321","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e52329e8340899ca0eda23a8ce44ee1ae4948ae9","datavalue":{"value":"0989.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531579$26F2C51E-BBDA-427F-A4E7-102DA464C594","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52905c69614aa0da4f9486630e03ba2bb1114b80","datavalue":{"value":"10.1080/11663081.1999.10510968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531579$B8A672E7-EAA9-46B6-84BE-3981DB86884B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531579$30676260-4339-4546-BF2E-AE407F17B248","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e979742b6018ec8d2c4ac57cbc76c09f8b49242","datavalue":{"value":{"time":"+2002-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4531579$5137913C-D47A-4117-BA74-3F50539D410D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531579$DBE53689-9895-42FA-B3F5-BAA4A293582A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531579$2C7358F6-F5AA-47F4-8422-0CD30DCA651C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"213df4d731e0bce2513fc24fad5fedc77399fb4f","datavalue":{"value":"1744198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531579$5B8FDF5E-B3B0-489D-8705-03EBC8BB7DB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531579$0C82252A-CB83-4102-AA88-75C199A5C7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d017ea1a754202d94282e1edc7882c3c32c87ab","datavalue":{"value":"proof polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531579$EAC5F088-9532-441E-9444-247A017ACC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d8fa98d7a781223e26ad91513309e0676ad5848","datavalue":{"value":"arithmetical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531579$8F1DC45F-4ACB-4835-BA41-86F8964B4B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531579$CA81E45E-6F39-497C-A98F-605DBA1009E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531579$1BF6FB01-8418-41FF-A6C1-BEB763DF6611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa9db77144c0adf22881acf437d13ec68f5eaffe","datavalue":{"value":"proof realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531579$5D4DD8A6-C968-43DC-91A0-B79AD0371E54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5711a22c90a25acfa5e838b5972ab6cd5c8785","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531579$ECA52F84-F176-4B48-BA83-95D8CB6260A3","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":"Q4531579$76073F8A-AF4A-4606-B745-B1D5B108E491","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49b2cf310697ec046318bfa039a05034c5151b8d","datavalue":{"value":"https://doi.org/10.1080/11663081.1999.10510968","type":"string"},"datatype":"url"},"type":"statement","id":"Q4531579$8A90F748-B301-427F-9DC5-6591394930C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51518027592ffcb07aadd020c0ef5b6940d8f43c","datavalue":{"value":"W2048994503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531579$00781E19-09C5-494A-B36C-9076D5DB5382","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"204b29a27f5014465bbf18a836ac1d7e769ef5a3","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531579$0C085A7E-ECA7-4FFA-BBC2-F2E94B0ED9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531579$52636273-40F6-4950-9669-FFFBB3017306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51768587580df242e6cb7b0adb85696edf98554d","datavalue":{"value":{"entity-type":"item","numeric-id":5906606,"id":"Q5906606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531579$D9AAE8BC-231B-4C87-8008-83A57EF09F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531579$67955349-954A-49C3-9686-3C5E8B4EB5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531579$34694FEE-A399-4D76-869B-D192CC028257","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9395d93ced324cdcedd5c63d2a9715547843d38b","datavalue":{"value":{"entity-type":"item","numeric-id":4499151,"id":"Q4499151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf5a95c07e12a16a1acbce10d7bc93fe208eb33","datavalue":{"value":{"amount":"+0.8362722396850586","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":"Q4531579$E3C31171-3F54-4BB3-A5A5-6F0D3BB5AF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b67dd631c1f0aac1ac6d0f57b56d5ad1e38ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3716cc322f687fecafcd25737f5450de1ba765b2","datavalue":{"value":{"amount":"+0.8339763879776001","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":"Q4531579$19C3F6EA-F025-4807-86CB-45F82B1CEE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f1fee44838c339a66f757d4f72571bc5e5da10","datavalue":{"value":{"entity-type":"item","numeric-id":3824287,"id":"Q3824287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bab25c4a821aa1e8d473a69288907f08cc0fc16","datavalue":{"value":{"amount":"+0.8032857775688171","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":"Q4531579$AD412613-848A-4BD8-9FD8-E920F0F3FBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a206c40c3197d8da5d5908d040744885a343e681","datavalue":{"value":{"entity-type":"item","numeric-id":3768879,"id":"Q3768879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2308d6633d9b47fb5e3dc5a67e8a61b5a0e9ecad","datavalue":{"value":{"amount":"+0.801079511642456","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":"Q4531579$F175E512-A0EF-4EB5-BA88-2DC8F5849759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f0206eee7ec92afebd05ca513872623e5a8e30","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2c3fc23f36a89bb0d5fcdb4549ce4af02739ba","datavalue":{"value":{"amount":"+0.7941904664039612","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":"Q4531579$A4A9842F-1CF2-4C36-A752-DE322E95DBE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realization of Intuitionistic Logic by Proof Polynomials","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realization_of_Intuitionistic_Logic_by_Proof_Polynomials"}}}}}