{"entities":{"Q3708782":{"pageid":5738688,"ns":120,"title":"Item:Q3708782","lastrevid":50512670,"modified":"2026-01-14T06:18:54Z","type":"item","id":"Q3708782","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3935012"}},"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":"Q3708782$F2FFDC8D-AD74-482A-94D8-57D9EC903B8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f118b7afa1daf27343e6d5012acdcfd15491624","datavalue":{"value":"0584.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708782$5D0A67F1-749D-4940-B4E9-FBC12C304622","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f176c57a4367ad5b382cbda8b83dad6c2cfec594","datavalue":{"value":{"entity-type":"item","numeric-id":213236,"id":"Q213236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708782$D66D3AC1-AFD5-410C-B2D3-33362458452F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3708782$69B1C70D-BC07-4F8F-8E30-F8686C272AD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708782$7662610B-2888-4F4C-B205-F24F4DDA8FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708782$4E7FBA93-82E0-43D5-9B96-F2855A6588E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708782$83388AED-1500-4969-AAC1-491BB68118D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cf01a77c82ed75ddd2e21872f7fa33badc464ab","datavalue":{"value":"3935012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708782$2966485B-B090-47B6-A6D3-2285A96D12C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97e7584f86a357b34e16a16dab118eca2bac0e2e","datavalue":{"value":"extension of propositional program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708782$11E7FBF8-F828-4D9D-8298-27C1D26D4E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c12274e4e978fbcc2876821cf38444932002eadf","datavalue":{"value":"quantifiers binding propositional variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708782$4DD4E0D4-C967-4777-9E0E-8768B4D64016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c9d92cedc24507fb6046faae06d49c3e05743","datavalue":{"value":"complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708782$9BE2A911-3E38-4FF1-9780-200BB186D3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66fa6c0bac50be83f96b3ddca1641018c742c6c0","datavalue":{"value":"definability of sets of states of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708782$362702FE-EF16-40D2-8792-E5082E59B679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7238da09e5410a1502619e1240a14e7e92c01a9","datavalue":{"value":"distinguishability of states","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708782$C1665AB0-6BBE-42CF-A6B2-F5982565A121","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":"Q3708782$D66640C4-1E52-4FB2-9AE2-DAB23F42F7E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950344ec4ca852d90e324520439bef557e3c290c","datavalue":{"value":{"entity-type":"item","numeric-id":3315481,"id":"Q3315481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af27abd228b008286e21d20b5b5de3fc24884c6a","datavalue":{"value":{"amount":"+0.8762962222099304","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":"Q3708782$F8578B33-DB7D-45BC-BC9D-EEC7AF0FFB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373beb0eb7a8eef5ae2371bbc9a0eedb604d255c","datavalue":{"value":{"entity-type":"item","numeric-id":4268418,"id":"Q4268418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c5ba89c08c134f48b74e11c744eb4801c95ade","datavalue":{"value":{"amount":"+0.766137957572937","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":"Q3708782$E1F9515B-7A7B-40C5-AC1C-5BE799B460CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e53852557721c93b5319bdee7e6451051b18cf7a","datavalue":{"value":{"entity-type":"item","numeric-id":3199401,"id":"Q3199401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c5ba89c08c134f48b74e11c744eb4801c95ade","datavalue":{"value":{"amount":"+0.766137957572937","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":"Q3708782$CD4B091C-5C42-4640-8004-1525B2D54B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd263da95997ea9a6ea4749cc81e015365ae4c0c","datavalue":{"value":{"entity-type":"item","numeric-id":3318103,"id":"Q3318103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ba33eacdb4ac74e5c59f9739d3be6a3ddb0598","datavalue":{"value":{"amount":"+0.758626401424408","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":"Q3708782$9D174F4F-F553-4362-940B-D74BD2B8809B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4feaf3e934550e5c5d086c51179bfdf0cde50c6b","datavalue":{"value":{"entity-type":"item","numeric-id":5415640,"id":"Q5415640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eeedc3b4547abed4bf05ed6855a58475d504ba3","datavalue":{"value":{"amount":"+0.7584885358810425","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":"Q3708782$523DEDF7-042C-40D9-835E-7AE7069C9D72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3708782","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3708782"}}}}}