{"entities":{"Q2495388":{"pageid":2506131,"ns":120,"title":"Item:Q2495388","lastrevid":49867708,"modified":"2026-01-11T10:57:13Z","type":"item","id":"Q2495388","labels":{"en":{"language":"en","value":"A clausal resolution method for extended computation tree logic ECTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5037285"}},"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":"Q2495388$287B0FBF-995A-4BD8-BCA6-60179E7D32CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d5583dfad3a82125c7a70bbdb58e448d0784db3","datavalue":{"value":{"text":"A clausal resolution method for extended computation tree logic ECTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2495388$730EB0E6-1B8A-4189-B7E5-B54E680881EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac1e9e43a45139cb9764387a05bea3f653bf2c5f","datavalue":{"value":"1101.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495388$537FE3BD-928D-45C1-922B-8FA9D3C785F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a0c039d765482b928c3f3eae6d2c20d57ac6169","datavalue":{"value":{"entity-type":"item","numeric-id":862825,"id":"Q862825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495388$8EF0FDDC-6A93-4FD5-B094-D55DEEE9B522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b656f62e97554a998e2f0d6aa876c3a4cf8788d8","datavalue":{"value":{"entity-type":"item","numeric-id":862826,"id":"Q862826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495388$4604E735-E699-4001-8AC8-B1836B960D07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495388$82B17B34-0DC9-4012-AD57-6D28409B3F16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e66041b42d053f5f2145cbbf08b1b29afba170b","datavalue":{"value":{"time":"+2006-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2495388$E8D0CB57-BF27-4D49-8F8B-3A18D649A6FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495388$F6A8DDB7-21DC-43E9-B7FB-64D669448049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495388$4FD48780-AA33-4F9F-B090-2F612F472737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495388$9272BF52-2D26-47F3-86CC-5728E016BCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495388$BF6EE942-7637-4C53-8640-B4CE2347A1FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88cf406a008aeac1ba2e1e81f81846b6fc7a5180","datavalue":{"value":"5037285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495388$A588653B-3147-4FE4-AAE3-547BD495D8B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b233c887dd94ecd19186a7517f258ccb36e4432","datavalue":{"value":"branching-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495388$384AFB31-DF3B-45DF-899F-62B3E2927BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495388$2FEE3B5E-C183-487B-829D-A9DD908079FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495388$648C20E7-E8A7-4B9B-9345-055A81F9CC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb24640e171cf57876337d4a041eb77419f90f12","datavalue":{"value":"program specification and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495388$618C4652-2B66-4D91-A23E-CAEBDC31D17B","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":"Q2495388$AE5971E4-A8E4-4568-842E-770F8E60CB9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0b9ec07e65705bfb7b6b62d6c7696ad44130a37","datavalue":{"value":"https://doi.org/10.1016/j.jal.2005.06.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2495388$9F4B4F50-B228-4BF0-9DA0-0047F383929C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8ab3f9faa9693d7ae206b8cd7f4f2f4387b8892","datavalue":{"value":"W2180066852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495388$BEAA583F-7D72-46B0-B1FF-DE0A6E0B9277","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1bac099fbe4678082a91d992b4ab581e8ee2e8","datavalue":{"value":{"entity-type":"item","numeric-id":4421285,"id":"Q4421285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495388$53C4EC28-27F3-423D-A571-CD9B6897677C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395f0c4f840021549fd3880e42aed6b986058659","datavalue":{"value":{"entity-type":"item","numeric-id":2495388,"id":"Q2495388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495388$34B95364-A921-4CFB-B1C3-842225F5C094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df702f751e61c43c04859300e810f7f82e597edb","datavalue":{"value":{"entity-type":"item","numeric-id":3146301,"id":"Q3146301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495388$528FF33F-0631-4EC2-A950-B93165C0CD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495388$15286ED8-4D77-43EB-A896-56DE080A70B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495388$B127ADB4-67B6-41FF-93AA-4466AAE98A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495388$938ACE3D-7695-4F82-8351-C00D06B84F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495388$0A464435-116C-4797-A6A1-8C91B0F81411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495388$1AE70619-656C-4E5E-95A9-DC6047986194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b330f5cd7a65a8735b5cd88f9d99cd7626efdb5","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495388$ED8E92F0-3C38-4899-B3BC-A404EF0722A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7bcf80ab2ab6bf574fca5f12dffa6bc8b8be919","datavalue":{"value":"10.1016/J.JAL.2005.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495388$11498E4F-76D1-40F3-A39B-CE4EE3F13615","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0397c16d05660865fcc8040789ba222e8321fe95","datavalue":{"value":{"entity-type":"item","numeric-id":4421285,"id":"Q4421285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e740e36851d376f96d7fc7cc0733421d0746b4","datavalue":{"value":{"amount":"+0.930111825466156","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":"Q2495388$E1D79B33-A5E1-4E14-A98A-015676A005B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9707a24c26c04d12cfac1a1ac9b513e2d38c7dea","datavalue":{"value":{"entity-type":"item","numeric-id":862827,"id":"Q862827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc6082586ea1255fe288fcbedd77efde2053c8b","datavalue":{"value":{"amount":"+0.9224652647972108","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":"Q2495388$96816696-C948-458D-B4F3-4A1A2AB3CD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce5e0b8d098d3904f1abf841ee4f7c4b9abf9c8c","datavalue":{"value":{"entity-type":"item","numeric-id":4941896,"id":"Q4941896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4be78d32b286808723269f923aec436e52e3f3","datavalue":{"value":{"amount":"+0.8425350785255432","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":"Q2495388$315FAF03-0768-4B5C-8ECC-3995AC25F425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b0aaaed09b0b5c28910245c964b3ff93c05623","datavalue":{"value":{"entity-type":"item","numeric-id":5191106,"id":"Q5191106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f475af4a6e9ccd7cf90bcb424d40a9439f6754","datavalue":{"value":{"amount":"+0.7997269034385681","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":"Q2495388$B03F5F2A-C33B-4867-82B2-8076C6553166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516d48398076e912b71a16180c018b3f2f44c9ca","datavalue":{"value":{"entity-type":"item","numeric-id":5410337,"id":"Q5410337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e82183d4b24172c28c517d75774ceb8e557baf3","datavalue":{"value":{"amount":"+0.7963225245475769","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":"Q2495388$678B6FAF-59D9-4F8D-A3CF-268696CBABE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2495388","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2495388"}}}}}