{"entities":{"Q2545842":{"pageid":2556585,"ns":120,"title":"Item:Q2545842","lastrevid":72763080,"modified":"2026-04-14T07:41:06Z","type":"item","id":"Q2545842","labels":{"en":{"language":"en","value":"Mathematical theory of partial correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3342647"}},"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":"Q2545842$09D1A4FD-D12E-4D93-88A9-C939053FFEAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"089a7cc251e4b83d25f7f7092ff4789c169fdc5f","datavalue":{"value":{"text":"Mathematical theory of partial correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2545842$22E7CB6B-98E9-429B-B5EF-AEBA7905F08B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebf737137216cceca553891a103fcee6d90ef019","datavalue":{"value":"0215.55905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2545842$E95BED80-5BAB-4452-8F6B-4AA0ADCE02BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3feaf726d931daf83725519b864911c8a6c1dec0","datavalue":{"value":"10.1016/S0022-0000(71)80035-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2545842$7DAB9ADA-DD52-4A52-BA1D-40910C3DB413","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2545842$B00AE9CB-5B5C-49C1-8888-067A70BC8101","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2545842$C6B74DBA-5D62-4486-98BD-F543370DE0B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-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":"Q2545842$E03CD849-6639-4F0E-AC42-4197A4AECBEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2545842$74EAB32F-BA56-4836-B138-E4ED2CBDBE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2545842$77A8CB3B-28F7-412E-B9C5-BC0560F24313","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f3a5e7cb78651ff6262fc904a330c75bf6057ae","datavalue":{"value":"3342647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2545842$04B1D660-581D-4045-8325-F3E2709196CA","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":"Q2545842$D7058E2D-41D8-41C8-8B9F-7111574C595D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c166cfe0e3a05c6a84e2be26185c9beeb7d177c9","datavalue":{"value":{"entity-type":"item","numeric-id":1215264,"id":"Q1215264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2545842$1C67DEE0-5717-432F-A3E1-3B9C436BD1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df755177511a4a382e9fd897da9fe34d7e867ddc","datavalue":{"value":{"entity-type":"item","numeric-id":5679697,"id":"Q5679697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2545842$44B9CC5D-C016-4FC9-850E-A928B6AB08E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8826cf0b1eaee40fb564fa44e5b7f382198d309c","datavalue":{"value":{"entity-type":"item","numeric-id":5626272,"id":"Q5626272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2545842$8A7211D4-5E1C-4B61-B8E4-3E2FAEA36FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2545842$50164840-3B25-4EAD-8DEF-A69E5FFAD8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d8f82c493ecf71b1895a2fbc262dc6af404064","datavalue":{"value":{"entity-type":"item","numeric-id":5532796,"id":"Q5532796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2545842$92A04D53-454C-4B39-8220-E2EDD7F36107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9bcd41a0a655569809a1c0f240490166298c56","datavalue":{"value":{"entity-type":"item","numeric-id":4772698,"id":"Q4772698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2545842$AC3224F0-1C8D-4475-8597-12F8BFDE9794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ecd6a95ac70b3920a98b58f6909f94df8490e8a","datavalue":{"value":{"entity-type":"item","numeric-id":2541847,"id":"Q2541847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2545842$054C6091-77E1-47F5-9C72-BDB399F7DBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b5e466b1c925a5865453f6a7c6c7fb3f401401","datavalue":{"value":{"entity-type":"item","numeric-id":5606281,"id":"Q5606281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2545842$73D86D3B-D3FD-425A-80AD-A1698AF1AD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2545842$310985DC-E2A9-4D0D-A73D-968C64390D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2545842$30F69CF0-228E-43E1-9792-3E358CB1DFDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical theory of partial correctness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_theory_of_partial_correctness"}}}}}