{"entities":{"Q3979260":{"pageid":6009148,"ns":120,"title":"Item:Q3979260","lastrevid":46246642,"modified":"2025-12-24T09:42:11Z","type":"item","id":"Q3979260","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 19762"}},"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":"Q3979260$685731E5-4F2D-40A1-992C-233E915AD4DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"931d646f8103b9f3ef9dbffbca311af17be850f0","datavalue":{"value":"0743.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3979260$B949EAC6-EEA2-43D4-92BB-635565C0E646","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0c110e220042f8c25f69d7566fe58fbf25b7","datavalue":{"value":{"entity-type":"item","numeric-id":514567,"id":"Q514567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3979260$AAC25F8E-31C3-4826-B0EA-8E5E3794C5DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3979260$82FD1E61-E5B3-4B2D-88FC-FBD2337C0961","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3979260$D28988C0-6BB8-4103-9B6F-1E1BF6359271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3979260$2A96F092-9B4E-448E-8127-AC80A09A8CEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9335d4345f91f1921720ad9caa76c96ae2efafe2","datavalue":{"value":"19762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3979260$8D61FEA9-2ECC-41AE-B960-67413A018828","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b048d8de8a413623f95e8c8f9bfbbc47473e3e","datavalue":{"value":"past","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979260$C8DDA92B-18CF-431D-BF9F-2FC491F04072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77526ca6ed45a4455cf978fe76b2d850ce91b19","datavalue":{"value":"partial correctness assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979260$B789C3C9-7130-4422-935C-7D216447B250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93bcd40cecb832d3577a8c84a0d4d42fafae2708","datavalue":{"value":"modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979260$3831132A-3418-4ACB-9095-325C123D2298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01aab0e01cc9bebd3e9424fa8aba46e511433654","datavalue":{"value":"temporal logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979260$1659C2E9-6163-41D5-9BD3-509859598782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0e8135f8bdca5eefac22d7a1ef8887860103e6","datavalue":{"value":"first-order temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979260$E9A35AF5-B9B8-4D66-9953-C2E0002F2987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f07b1dcb87f9f59c0e0026b9910ca648b07f94d4","datavalue":{"value":"provability of program properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979260$38E6872D-71CB-4EC7-8252-5A52B712F0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979260$34C9A13B-BA8F-4CD5-9BFB-0BEED147BF83","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":"Q3979260$FFDAA607-73C8-474F-96AF-C2A3907760BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdb4f144d80eb30bc62c59293fc7ed6b2023e7f","datavalue":{"value":{"entity-type":"item","numeric-id":3976046,"id":"Q3976046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba348eb2e6e0112c5ec2b7ac396df3294a8f642","datavalue":{"value":{"amount":"+0.8688948750495911","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":"Q3979260$1E413A15-BCD4-4121-BBCF-2E9E3D29E652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc03231c8b2da69323dec19dd32ea7016e52a15","datavalue":{"value":{"entity-type":"item","numeric-id":3975138,"id":"Q3975138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d9326f716b340ad5cf34233dfdcb70fe9ea03c5","datavalue":{"value":{"amount":"+0.8126800656318665","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":"Q3979260$3747E02B-7926-4D86-A1CD-C1EF6E925AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748ecc2376786718a06446352f0527024584f94f","datavalue":{"value":{"entity-type":"item","numeric-id":3482822,"id":"Q3482822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733137a74860a8fdd1541b9ae1fe369f8efbd798","datavalue":{"value":{"amount":"+0.7955403327941895","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":"Q3979260$3EBF5BFD-3807-4AEC-B32D-937C811B0898","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3979260","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3979260"}}}}}