{"entities":{"Q3677763":{"pageid":5707669,"ns":120,"title":"Item:Q3677763","lastrevid":90509594,"modified":"2026-06-04T20:33:22Z","type":"item","id":"Q3677763","labels":{"en":{"language":"en","value":"A PROPERTY OF 2\u2010SORTED PEANO MODELS AND PROGRAM VERIFICATION"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3898887"}},"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":"Q3677763$E8C20C04-58BE-446C-80D1-C7CE1EC0B39E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"562bb9d4039b742e725d05de1215ffee3bd16fbc","datavalue":{"value":{"text":"A PROPERTY OF 2\u2010SORTED PEANO MODELS AND PROGRAM VERIFICATION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3677763$FF03FCBE-3857-4456-8E7B-F9B584E1597C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15530d1339ccbb9572e2cf42622f4c2320afba28","datavalue":{"value":"0564.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677763$2B3160F6-51D3-4D59-A59F-EABADB62030D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee4e70b5a3726ad737c6aa92da85e135ebf1b133","datavalue":{"value":{"entity-type":"item","numeric-id":247008,"id":"Q247008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677763$5124F0D6-940E-44C8-B457-86CC02851BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44176704c420391b1ec646932fc59126c7d2f6cf","datavalue":{"value":{"entity-type":"item","numeric-id":264026,"id":"Q264026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677763$34CF8239-571B-460A-B057-346FBB99A48A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677763$63B8B9CD-8385-44F4-96C5-FC764E251CF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3677763$A49B04C4-D913-49E4-A12A-8353D9111599","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677763$74C3BE24-6F3F-4CB5-A502-A6CECC3466C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677763$110726AF-DFD3-4DD8-89FC-CF8A4BBC56CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677763$946A555E-F21D-42FD-AFA0-55490A110C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677763$1B4ECF1C-8DB0-46D2-A61E-D2CCD7EFAB64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"908d27d007aff6f6852fdb57f93f67ccb4e8fc86","datavalue":{"value":"3898887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677763$B3B13C20-AC24-41BF-AF50-3C47A5F595D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b71ad9a106feffade0325dc85605f63b67646e6e","datavalue":{"value":"2-sorted Peano models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677763$BFF09260-EDEE-40D7-A701-458D2C6207EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34c530126d1961a1b7415ea437760ccdf4087104","datavalue":{"value":"Floyd-Hoare program verification method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677763$B70860F5-F74B-4C4A-AD77-4CDED3F64B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c83c006e7cc30cb7472f8244165fd332781df8e","datavalue":{"value":"Nonstandard Dynamic Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677763$12007D86-ECB4-40ED-8E32-CE9CE8A790E8","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":"Q3677763$8D491F40-8256-403F-BBB8-2950E9F6FF59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2675a7c858b18f2529479456f3bd59aff9b65d1f","datavalue":{"value":"https://doi.org/10.1002/malq.19840301907","type":"string"},"datatype":"url"},"type":"statement","id":"Q3677763$78386206-0062-4748-92D2-7DE940954636","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e1f7f85c3615b3a4d7587bc0c11179313ec586d","datavalue":{"value":"W2087126378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677763$D3F7319F-72EC-4325-B343-0F46178DBCF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f89a4f304a6b78e028793446c79feac7f0002b7e","datavalue":{"value":"10.1002/MALQ.19840301907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677763$0AEF3119-688B-46D5-A1E7-8540114C0084","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b2e59a3f1876b90ce4d0afbef5379583249040","datavalue":{"value":{"entity-type":"item","numeric-id":1077159,"id":"Q1077159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a8f5f0cccacd722e97e0769fb08752e95570309","datavalue":{"value":{"amount":"+0.7465841174125671","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":"Q3677763$684EE03B-4AB1-49F3-B1B9-F99C2A819C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a308e7692d2ff24fbb13d8487acadcbe538096","datavalue":{"value":{"entity-type":"item","numeric-id":687278,"id":"Q687278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d49ef64f163a9894d941de96d04de04ef16e4f","datavalue":{"value":{"amount":"+0.7435478568077087","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":"Q3677763$E4CD1F84-1FB3-4B2E-9C68-DCDFA8C49FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b99bfba67f5d1c8f1d546fdcec8a5ee34d2e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3811698,"id":"Q3811698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c668d8b5aab7f0cd9dc09e314c8c955b022ed89a","datavalue":{"value":{"amount":"+0.7201124429702759","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":"Q3677763$A1F8A508-F5F2-4E02-A19F-D16E4954D2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128de154af4bfeeccec8bd32ac5fe733bbc20959","datavalue":{"value":{"entity-type":"item","numeric-id":3683528,"id":"Q3683528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6461eafedd9d78988e84a24929b8660e427daaef","datavalue":{"value":{"amount":"+0.7121752500534058","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":"Q3677763$5DF6D28F-3F3D-4CB5-92D2-09EEF3958149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c5faecb5fda312f3c5174fbc97b6b5207b9dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2563951,"id":"Q2563951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa7b39af37295764abf297202f3a000be63ac6f2","datavalue":{"value":{"amount":"+0.7088038325309753","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":"Q3677763$C1F08A14-FDD1-4595-828D-77DAA5354E90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A PROPERTY OF 2\u2010SORTED PEANO MODELS AND PROGRAM VERIFICATION","badges":[]}}}}}