{"entities":{"Q1183798":{"pageid":1194547,"ns":120,"title":"Item:Q1183798","lastrevid":70211529,"modified":"2026-04-13T13:11:35Z","type":"item","id":"Q1183798","labels":{"en":{"language":"en","value":"A calculus of propositional properties of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33752"}},"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":"Q1183798$AD5B7303-A975-4A08-959D-0BFDB898E3F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8554b4a5c075c2ec0e8f1a410d91844ba41934c3","datavalue":{"value":{"text":"A calculus of propositional properties of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183798$4E8AE1B2-598E-4238-A6D5-8CF457B86437","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f90e99201f21a3f7a69595ecc874eced783ab1f9","datavalue":{"value":"0737.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183798$0C1CDFA8-9A99-45B8-8A4E-5B653F42115E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee9bb9bf5b246abe011d9007a4834aa522ca9f40","datavalue":{"value":{"entity-type":"item","numeric-id":1059998,"id":"Q1059998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183798$1E97E5EE-131D-4B56-A972-0A06A916F2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ae1d0b5996daa6946f5d604b16f086ae6a66893","datavalue":{"value":{"entity-type":"item","numeric-id":1346623,"id":"Q1346623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183798$E8256BC6-C693-444E-BCA0-0B344A69C1D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183798$8B2F4C2A-214F-4E58-81BE-99989BE37CD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183798$70858608-15AF-4C18-AE54-EFEE779709BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183798$85E2D112-E658-43E3-84F7-5851F0D52B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183798$DC26FD90-33BF-41AB-B399-88EDE1E13190","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ce8524744595325df21f51b37b5e0d52de1fc13","datavalue":{"value":"33752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183798$D63FEAB4-C4C4-43CB-A3C0-87AE7FBCE823","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4893f3ec3c86b5de8dbb5c402e27a6c2bed32226","datavalue":{"value":"propositional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183798$1D364D58-0349-4D34-B7A3-0CD8C91DB443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d74c2c7406049ef1d9c8d16d9fd659317526896e","datavalue":{"value":"multisort algebraic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183798$35F6289C-0347-4FFD-9A6D-C1F66D228FCD","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":"Q1183798$7F7B8338-15D5-4051-8442-BAA35BF6DC4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f676d9335ccba8c724966361f960736276b4c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1346625,"id":"Q1346625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de358e476ecc6acc70da8b502b8ee7bba8976cf","datavalue":{"value":{"amount":"+0.8563308715820312","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":"Q1183798$A4782174-CB94-4A14-AB1C-10F2E1396855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b2b54105026127cd5103768fc696f0c67219f5","datavalue":{"value":{"entity-type":"item","numeric-id":3707343,"id":"Q3707343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f56d2cf7bb4ff560329c2ef15853dfc49c6e601","datavalue":{"value":{"amount":"+0.7726240158081055","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":"Q1183798$0E5C1104-6AC8-4A29-A0A2-8FC71675B2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd263da95997ea9a6ea4749cc81e015365ae4c0c","datavalue":{"value":{"entity-type":"item","numeric-id":3318103,"id":"Q3318103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e152843c4401f0c5fc251328d565d48626644a01","datavalue":{"value":{"amount":"+0.7647349238395691","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":"Q1183798$D5D39094-E098-4FED-87F2-629AF5A7ECC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f53db904edc8742f58844bcbe0e7e76cb9cb0cd","datavalue":{"value":{"entity-type":"item","numeric-id":3738547,"id":"Q3738547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed31a6614dff04af960bade1b5e331a6c3d043ef","datavalue":{"value":{"amount":"+0.7558188438415527","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":"Q1183798$B75181BF-8D27-406A-B6BC-B35FBAD99455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373beb0eb7a8eef5ae2371bbc9a0eedb604d255c","datavalue":{"value":{"entity-type":"item","numeric-id":4268418,"id":"Q4268418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8a80bc7ac30c7a1214ac4241e52f8dd808c730","datavalue":{"value":{"amount":"+0.7526255249977112","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":"Q1183798$FFBEEA5E-C9BF-4CE1-883B-E4553C39059B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A calculus of propositional properties of programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_calculus_of_propositional_properties_of_programs"}}}}}