{"entities":{"Q1344850":{"pageid":1355589,"ns":120,"title":"Item:Q1344850","lastrevid":68515485,"modified":"2026-04-13T00:13:52Z","type":"item","id":"Q1344850","labels":{"en":{"language":"en","value":"Reasoning about update logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724111"}},"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":"Q1344850$E58ACBF0-0209-4A9B-8FCB-D9483A47EC57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a592be1a686277a44c5fe3f3bdeb0c1cc15f712d","datavalue":{"value":{"text":"Reasoning about update logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344850$66066EDC-2A13-445A-89F3-10F57D7C39BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f36fbff69ba9388072c9bc3890b3615095053076","datavalue":{"value":"0811.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344850$0F09FDB8-3D65-4834-A910-9E0781FA2D7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"901ce9f3746a7ae2324c5d7d2550d3fdd6a76aa8","datavalue":{"value":"10.1007/BF01052729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344850$D361E902-AFFE-4C65-B285-8DBF442C2566","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4d30f3a2f26d23423d765b4d1925d27a0413ee3","datavalue":{"value":{"entity-type":"item","numeric-id":195248,"id":"Q195248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344850$394DC8B7-E036-4BE3-A2E3-501E0EC2C7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40c77c845fb94c505d2cfba0e9e71b55d375962f","datavalue":{"value":{"entity-type":"item","numeric-id":235596,"id":"Q235596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344850$E9716CC5-EA4C-465C-86B1-AB53A7A87AAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344850$6FA3FD28-EF2C-47AB-A8EF-77A5FC151D62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8682f10035297e22489d3e495aa858e74b275e9","datavalue":{"value":{"time":"+1995-02-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":"Q1344850$D48600AD-AFAF-46F1-A06A-885312EFF967","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344850$54010F88-F33E-4C8F-BE8A-15F7491F4D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344850$D3E61798-3307-4101-BF8D-33320499F84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344850$600CCD59-BFE0-4E38-972C-AD7EA6B05D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344850$D43A2A6F-0A5B-4839-BAAC-9D413B8228FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344850$185231BA-314B-4488-927D-828C0F8D2785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344850$78FFC7AE-2A37-470F-9F15-8A47CB11E8F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15fff060906e20a8683d77cef88f1c860ea836b4","datavalue":{"value":"724111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344850$0D3790AD-50CB-4C1B-B8E6-F7BD037828C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010e755a9276e42b5de6719b1c0f9fc4c8363054","datavalue":{"value":"dynamic inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344850$2D27928D-38E2-4F8D-9000-C71EED60B042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb7f865113d95dab873f03a7f527a58308514c4b","datavalue":{"value":"information processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344850$024516BE-3362-49F0-BD7F-7EC21F2616DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaaa0bb98ae24d1ec5df2ad0bd3b4e3eab9986f4","datavalue":{"value":"imperative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344850$85531571-39DF-4919-A402-CC4F8217A49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38d516d810c051a54b64bbe041a9ab4f04b511f","datavalue":{"value":"logic of information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344850$3DF2A00D-8BDF-4DAD-9D8B-B5A4FF2419F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344850$C0776167-1088-4205-B594-0943D3734DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dee35f5690a93d2048238fbef9321fe7a1836f9b","datavalue":{"value":"update logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344850$C0F7690F-858C-4B1F-A0D8-A1B9E5A36EC5","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":"Q1344850$179B457C-9F5D-415D-B444-F36FA73CE450","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fe3c632b25c63283b1d7beaf3b44d5aa69fad4","datavalue":{"value":{"entity-type":"item","numeric-id":3211283,"id":"Q3211283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344850$E97B47ED-61F4-47F9-973B-EE1C660BF7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47dbfcd2847e36f925f39f3032cef339b755e46","datavalue":{"value":{"entity-type":"item","numeric-id":3986890,"id":"Q3986890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344850$A5D9D6F9-7065-4D46-A85B-11FA533BA4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1078de0dacc7640af35258a090cc299186d8f008","datavalue":{"value":{"entity-type":"item","numeric-id":1188935,"id":"Q1188935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344850$D8F81935-EA73-42B3-AF80-53D65B2E8C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f09b53b7c446f5ba60a17b5b11a35f4dcc7ac0","datavalue":{"value":{"entity-type":"item","numeric-id":1188997,"id":"Q1188997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344850$A831F09C-831A-4976-B314-21788D8361F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"321cfe79da97fcb7ec871787e35e22fb2328b133","datavalue":{"value":{"entity-type":"item","numeric-id":1314291,"id":"Q1314291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344850$4D7E8759-CA3A-4335-83D8-25F803CB94A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2dfd1e259262179d91ec21c2adc91e97790347","datavalue":{"value":{"entity-type":"item","numeric-id":5202997,"id":"Q5202997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344850$A144543E-073D-441C-BE86-F9DA80C43EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ca84f7aa53b5e71e8f370677fd5783a21ad679","datavalue":{"value":{"entity-type":"item","numeric-id":4287487,"id":"Q4287487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344850$219F952C-8F81-46F2-A9C6-1B30FDDCEF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344850$66A43A84-7A07-4A0C-898D-A6C05A9BC669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b699087465adbd5f2e31ba20ec02b18d06650fa7","datavalue":{"value":{"entity-type":"item","numeric-id":5287685,"id":"Q5287685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344850$279843D2-5E15-45C3-ABE2-1FC29AF319BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37772bc8a9ab069bf1b2842d6e80861b80209223","datavalue":{"value":{"entity-type":"item","numeric-id":4032643,"id":"Q4032643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344850$628DCD35-E83A-4C04-878E-387D5F2791CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e17b3c0b42328891462fa84e03b0ace3632518d","datavalue":{"value":{"entity-type":"item","numeric-id":1918912,"id":"Q1918912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344850$569A789F-8383-46F1-AFAF-AA24FE72B228","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc1d55cf98aa6f0dc4ffaa10a024d6769aff3ef2","datavalue":{"value":"https://doi.org/10.1007/bf01052729","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344850$E7BD1EAE-8F51-420C-8CDD-C70F59A1E8F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8160538c7ad0c86275e0b996c6b16b610276eaf","datavalue":{"value":"W1581244363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344850$59EB0E19-7D35-48E7-AE54-24B346C16664","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c79a66cc72890ddda4e38a35c4257c55a48943b","datavalue":{"value":{"entity-type":"item","numeric-id":4325792,"id":"Q4325792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2432fe57df3f3a75e10a58e5f567ed776c8d9b2b","datavalue":{"value":{"amount":"+0.7550933957099915","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":"Q1344850$81764D79-46C1-46EF-B9C8-2D908F58CF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a76304a6fdbc8a71694c26fceacd1c8e9606ec","datavalue":{"value":{"entity-type":"item","numeric-id":1403404,"id":"Q1403404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64517f9278326f2aefa4dc90f03b8557a1e14644","datavalue":{"value":{"amount":"+0.7494496703147888","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":"Q1344850$F1B2F219-358D-4FF2-9ABF-881253876404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4987f567d7f9b76602466f4371dfc1d0e793f91e","datavalue":{"value":{"entity-type":"item","numeric-id":4876413,"id":"Q4876413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"208c91ae119f77e17b5d3f3ee6ebd6a842c58654","datavalue":{"value":{"amount":"+0.7272548675537109","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":"Q1344850$161A0EB8-AD42-4173-96B1-1A92E6259A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4841bdd68d0962abb101f1b1c1c19ac5cc6b2137","datavalue":{"value":{"entity-type":"item","numeric-id":1036064,"id":"Q1036064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e1b539d32db183878b43c6052c574da4b118c00","datavalue":{"value":{"amount":"+0.7268547415733337","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":"Q1344850$7B0BBF44-13A4-420B-98E0-59AA7AD6D9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23baef3b4f7802c53cc78dd97f94b626356e9cfa","datavalue":{"value":{"entity-type":"item","numeric-id":4707772,"id":"Q4707772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc28680f9231276f90e7aac845fcf4cb1594ffc","datavalue":{"value":{"amount":"+0.7256226539611816","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":"Q1344850$1BEEFF1B-A4C5-4D88-9B7F-35AC7C6797C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about update logic","badges":[]}}}}}