{"entities":{"Q1163369":{"pageid":1174118,"ns":120,"title":"Item:Q1163369","lastrevid":66418293,"modified":"2026-04-12T09:56:41Z","type":"item","id":"Q1163369","labels":{"en":{"language":"en","value":"Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3759537"}},"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":"Q1163369$5EC2702A-1557-42E0-9C9C-099B6C0F5940","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab6d750401bdb897468f881340c0084da15ade2a","datavalue":{"value":{"text":"Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1163369$6091896B-70C7-49B6-8C0F-CFD46AB4B738","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bff12b6a2b5c63e4c1858f6d91dd646ab5d396ee","datavalue":{"value":"0483.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163369$C581C873-DE45-4D8F-967B-88D7767B7811","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bdec03376da2f624db33b3f665c8680d21f52d9","datavalue":{"value":"10.1016/0304-3975(82)90027-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163369$436DA6A1-01DD-40AE-B4D8-A472A2E2FD36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$F94F020C-C1E7-4536-BBFA-C39F1313B7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$126C6627-4F3B-48CB-88A9-5FD69D46A622","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$F6BA8FED-C201-4D36-A3A3-FBBF297BAF05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q1163369$FE1D0838-4705-4093-993E-DFBAB91A187C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20defeca703a1fccd805a27e0dda599778d368a5","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/12713","type":"string"},"datatype":"url"},"type":"statement","id":"Q1163369$82358528-B864-4839-9811-59A92DA19787","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163369$3016E524-D45B-4458-A852-B9D92B4B5618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163369$C8E8DD43-7FCF-49D4-8902-7669F35601AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163369$6D8B0CAA-3CAE-4BB5-979E-C4CA6CF816EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163369$C2DF4D4B-9DE4-42FF-9F9D-43EA9C7C4AC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e855d34e4bea7f13cf191c42cc2834be6e6ee8fd","datavalue":{"value":"3759537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163369$957003DD-8948-4757-8D28-8454B09541A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ca3089f4a9c1f132e8f874f7fe0c6338d24ce7","datavalue":{"value":"Hoare's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163369$022CEC0C-B5F4-4DFD-B0DA-B2C4419A1BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"863de64fd12a84f19163ae5f5a615ea1a93d66da","datavalue":{"value":"incompleteness partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163369$DFF14A51-9726-43F1-9C70-E5859C8487C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163369$6D40995E-052F-4D21-82A3-282BE7257335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163369$63C975F2-C606-4CA9-9587-4B748882FBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b291fe92a577e4bce061c74df458fa88292a7cce","datavalue":{"value":"theories of algebraically and real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163369$61A4B895-1936-4F3E-8E14-4CB470A06AF6","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":"Q1163369$9647E5A8-77A7-47D9-A51E-2A4C30327E22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f66f2c1c72a2a21ae1a3e036d0e9b450264d21df","datavalue":{"value":"W2164256202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163369$1279778B-2D8E-4A70-86F9-BBB7D18D9D8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78296e26b3ae6866aa6457e77aa0a789c0969d64","datavalue":{"value":{"entity-type":"item","numeric-id":3862382,"id":"Q3862382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$C5145498-3731-44BB-B862-422FF25BEF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4865afb21c33e3673f55a527f52adb166c48c4","datavalue":{"value":{"entity-type":"item","numeric-id":1252031,"id":"Q1252031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$F5C98922-7A91-496F-B310-44532A1DDB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ffd403e24d1010da4c87211ba27f91cf64973d","datavalue":{"value":{"entity-type":"item","numeric-id":3878739,"id":"Q3878739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$B328AFCD-E49F-4FBE-BFDB-DB9ED9C5A3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$1F24959E-438F-441F-A861-A0AECBDE6E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc01beee0576bea6ea525779afa0e96e85c3165","datavalue":{"value":{"entity-type":"item","numeric-id":1158948,"id":"Q1158948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$FA55D1BD-920C-4B8A-A3B2-D7F1A466E7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345b6d34bd8be69c1d5bac69dc92fc7671e7a9b8","datavalue":{"value":{"entity-type":"item","numeric-id":3883473,"id":"Q3883473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$2D0B94C6-8640-4E59-8B13-75AE3BDF80FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c23a54cf5c2c32f027cfca2700657a849c9c7aec","datavalue":{"value":{"entity-type":"item","numeric-id":800082,"id":"Q800082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$FB0E6702-9AF4-4DFE-BF1E-90D1511B0E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d18c026883c4f66096e389fd3ca726dc1282151","datavalue":{"value":{"entity-type":"item","numeric-id":4170194,"id":"Q4170194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$82EC6E40-DA52-4519-BF73-AD9BDC86D00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f067c1b808884e93605e1af2dbca3dd82129f7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4170195,"id":"Q4170195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$8EB6586A-F71C-4E7C-BAD6-8FDBC0E3704C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$D911FD54-7C9A-4305-9CA9-7E3A11A7C637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b866bba96ae151ad3a477a3bb46c2f09c1a0b68","datavalue":{"value":{"entity-type":"item","numeric-id":5596785,"id":"Q5596785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$73F1E109-7B17-4D3D-8252-CE20AFFB2CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3af2a5d6d90fc35dbcdf27c89fba0731ef592c","datavalue":{"value":{"entity-type":"item","numeric-id":1233308,"id":"Q1233308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$203800FC-80B3-4A34-9326-0C8844846DDD","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":"Q1163369$2B519BCF-4FC4-4558-BFE5-89E8C811CEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad00dbe53f97aa9ccf948036a2564c7c1ebb723","datavalue":{"value":{"entity-type":"item","numeric-id":1216944,"id":"Q1216944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$C6D25D42-0EF1-4729-91B6-F01E017AB533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f41dfabae64efe2ce9272788d4b37a28ea0c863","datavalue":{"value":{"entity-type":"item","numeric-id":3883459,"id":"Q3883459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$61033482-0827-4D91-A025-6883D05C1434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd06c578a20e246a2f4db8df47edc0729312141","datavalue":{"value":{"entity-type":"item","numeric-id":4041564,"id":"Q4041564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$7D1D9AB0-EAB1-408B-B291-B804EC5D1966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e97b26002280f9f809ba5748da7ac804b97361","datavalue":{"value":{"entity-type":"item","numeric-id":5338325,"id":"Q5338325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$0EBF2695-0E09-4AFB-911F-F000B5651A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ee5e3ccb9df347fdb38d61109351ad2ffac26d","datavalue":{"value":{"entity-type":"item","numeric-id":5596230,"id":"Q5596230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$EA8FB82B-7FF7-4480-BE09-F29D695A4F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c652db68084b6ea3fda81b6d90f630969447e3eb","datavalue":{"value":{"entity-type":"item","numeric-id":4164784,"id":"Q4164784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$0D6A4ECE-4E58-4CDA-9BE2-710AE062B6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360cc14210d040c82c3fb8482fcff4a97cc7c9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5537373,"id":"Q5537373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$A7180193-E99B-4D03-8342-AFB4D4701AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$36985DBC-997C-4975-AC93-2D331C003A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f67ed4524bef89cb3eb2e3b86267c746daf6fa","datavalue":{"value":{"entity-type":"item","numeric-id":3050415,"id":"Q3050415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$E901B5B9-FFE0-4E29-AC49-EA439572AEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377324767631186c74643cd4927092bc831167c8","datavalue":{"value":{"entity-type":"item","numeric-id":4139636,"id":"Q4139636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163369$A4ECCF4F-44E5-40C3-A556-4ABB47B944F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_natural_structures_which_fail_to_possess_a_sound_and_decidable_Hoare-like_logic_for_their_while-programs"}}}}}