{"entities":{"Q2764255":{"pageid":2774994,"ns":120,"title":"Item:Q2764255","lastrevid":47723131,"modified":"2026-01-02T13:03:23Z","type":"item","id":"Q2764255","labels":{"en":{"language":"en","value":"The satisfiability of logical formula in proof of program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1690279"}},"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":"Q2764255$01488D0B-1A86-4743-BEE1-BB6ED51FDD88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53920a3f822bde47e198ae9dbdcc2f0d1f61e692","datavalue":{"value":"1001.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2764255$7C3608C6-26BC-4CCC-8378-F3B8D8124144","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32daaf1d1d23d14c238646cd1461a574f35b82a","datavalue":{"value":{"time":"+2002-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2764255$4AC4E7D4-6651-4F64-BA97-111F17185DF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2764255$47F9FED6-39DF-4CC6-97B9-3656084FDC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2764255$DF7C3500-4AB1-4B89-8933-161C2AE8297A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91f5923c00530e8d26f09634bffd8a465bb63c67","datavalue":{"value":"1690279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2764255$0F0C43A4-455C-4E12-8A1E-C3BECD11C838","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3376a6c80f9b30e04f1b81346ba2669e69c8cb4","datavalue":{"value":"Hoare axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2764255$6918ECC2-F419-42EF-A581-7C19D376C53A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c33b1fc05cd21c091228a00d7ce1d6cc82aee0c","datavalue":{"value":{"entity-type":"item","numeric-id":2333879,"id":"Q2333879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2764255$905286FA-E8DE-445B-81EA-08A9868192B2","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":"Q2764255$DB052783-1724-4CA9-B9C3-B9B3C2B2D5F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aeccbd4fdc536c37877b8fc7c657c6786320a503","datavalue":{"value":{"text":"The satisfiability of logical formula in proof of program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2764255$3804C412-A9A3-4E3F-8EAB-CFD76097AD95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"540e600caffca95a201cc43b316fd69977a7875e","datavalue":{"value":{"entity-type":"item","numeric-id":6768675,"id":"Q6768675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2764255$1C5654D4-2351-4138-8CE0-49E0F0CF985F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb895e90ccf22a590e9e61fb1780ecb4c8355f6d","datavalue":{"value":{"entity-type":"item","numeric-id":5942025,"id":"Q5942025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2861b6a23da24165e51669c6cba881612de2665","datavalue":{"value":{"amount":"+0.7589252591133118","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":"Q2764255$61FB744B-7BF4-4028-B177-2EA8B92025FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38e42cdd50b8f7a451d8d34e37aaf9538b8b78c5","datavalue":{"value":{"entity-type":"item","numeric-id":2508787,"id":"Q2508787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b94cc2852aeb3f158360ec7011603708d4944bd","datavalue":{"value":{"amount":"+0.7381295561790466","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":"Q2764255$453E9E88-71AE-4FCB-AEBF-C35826CD01B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9743a529a25208ba326f4843e074a1e50bcd7efd","datavalue":{"value":{"entity-type":"item","numeric-id":3778718,"id":"Q3778718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c835c5adbb474f4b514099d3f4a45359723f3b","datavalue":{"value":{"amount":"+0.7342440485954285","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":"Q2764255$BD6B1603-B295-45B1-B198-77E898570165","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":"8bf5a6fd71c0afb54ae9b771789815160c68a953","datavalue":{"value":{"amount":"+0.7331219911575317","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":"Q2764255$7508E05E-6392-4E63-92FE-21F65A144F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bcf73472343b5f1d5624a1b5d509fb74bcd1975","datavalue":{"value":{"entity-type":"item","numeric-id":4529644,"id":"Q4529644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7980bdcc45beaf89da8086f99173c060168d709","datavalue":{"value":{"amount":"+0.7300995588302612","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":"Q2764255$F7636B04-F843-43C0-BF46-83A3B1D7E3F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2764255","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2764255"}}}}}