{"entities":{"Q4282536":{"pageid":6312137,"ns":120,"title":"Item:Q4282536","lastrevid":47233279,"modified":"2026-01-01T02:14:29Z","type":"item","id":"Q4282536","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 517012"}},"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":"Q4282536$02A3D502-CB77-4A04-8DAC-5190588640F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d80e14cc517923bac2839ae958be37e0deb366e","datavalue":{"value":"0797.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282536$85DB538D-3A9C-4BEB-B400-B98AB41AD525","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4282536$1C6CBF5F-E299-4AEF-A146-270B478E7223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94fdd3b5a00a95146d4fa89e9521166d120f286b","datavalue":{"value":{"entity-type":"item","numeric-id":4028370,"id":"Q4028370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4282536$1B02D94D-8DFA-4F48-8EDA-68703F5C16B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1273a672319d0eb9adeb2fd8b5af293f02a97f84","datavalue":{"value":{"time":"+1994-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4282536$41B7AC22-3A54-4D28-A60C-AEF9B56D641D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282536$E482A52C-55A0-4FC9-A3BE-1C645655B3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282536$3BDD68FA-4A9C-4EFB-A521-DC25D892F4E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"364046550f1f8206d8655c5de5728fc97e0a3c6f","datavalue":{"value":"517012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282536$3C640AFC-1E16-46A4-90D0-1393281CAC98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282536$C54E6023-FDAE-4062-B215-B55727BC2EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73f877e2f1bc95df5bf8181b9880837b7bf0c2ee","datavalue":{"value":"interactive theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282536$5E8B4E0E-9602-4BCE-A952-EF38ECA73813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282536$23FD5223-20FA-48C9-8A76-F086CD78102A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282536$15E34638-1D94-483A-A3A3-3B9A2B1257BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe2af07b9c34ae931dc9e9986f8e4653ba857344","datavalue":{"value":"programming with proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282536$7E49891E-2473-4952-939F-EE9E5F6C69FC","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":"Q4282536$3BEFEC73-A771-4CD9-9AF5-D303907CFA8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81235c4d3f4c66b6911717e8cbf43cd34a5bdfea","datavalue":{"value":{"entity-type":"item","numeric-id":912594,"id":"Q912594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf6e7d43ca4b5901bf93e7b25ac4ab4d8abf6f96","datavalue":{"value":{"amount":"+0.7636576294898987","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":"Q4282536$2DFD0C22-665D-4B76-9478-A258D45A62A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5add08a5d004f50146f4311c1ba27d67f8ad1f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3477935,"id":"Q3477935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2945eae541acf55e6fa2136a3acf004b0a22a45f","datavalue":{"value":{"amount":"+0.7549936771392822","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":"Q4282536$E649E0B6-8083-465A-84D0-5115CAD90DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26cb5cd464b164ea1acb873ebe4a85f44b92d6d2","datavalue":{"value":{"entity-type":"item","numeric-id":912589,"id":"Q912589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6075a300562fa6762dc1ff665f301581cf77f554","datavalue":{"value":{"amount":"+0.7482248544692993","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":"Q4282536$4503068D-FE39-4AB2-B635-97823C85E42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77217dc2085b0609e7fd5b1db191a64d2ac5718c","datavalue":{"value":{"entity-type":"item","numeric-id":1322847,"id":"Q1322847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c7d1974a67bafbb81029f28270fb0ccfe0876f2","datavalue":{"value":{"amount":"+0.7421761751174927","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":"Q4282536$F306909D-DBBA-4DD9-9616-0449D1D965EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e39ac3ee7536d87b921b90eac5d0a3e6e1167fd","datavalue":{"value":{"entity-type":"item","numeric-id":4276174,"id":"Q4276174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b835202d83f3b34dae9dc86e1a89e03ec1975ec","datavalue":{"value":{"amount":"+0.7421761155128479","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":"Q4282536$55EF85E1-FEBC-4330-974F-6F1E97B57D68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4282536","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4282536"}}}}}