{"entities":{"Q4647556":{"pageid":6677137,"ns":120,"title":"Item:Q4647556","lastrevid":41645447,"modified":"2025-05-06T17:16:41Z","type":"item","id":"Q4647556","labels":{"en":{"language":"en","value":"Search strategies for resolution in temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001945"}},"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":"Q4647556$85986823-DF6C-4064-8D7D-D1CBB36F7F85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00526750fd280faeea74ca7294956729dc521cda","datavalue":{"value":{"text":"Search strategies for resolution in temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647556$A7E59AE0-7E25-4873-827D-9661532CEC66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b8a6400b1f14b041b862d4d06f5af41a0afad01","datavalue":{"value":"1412.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647556$5A9F3DA7-B7CF-4899-AA24-99AAD1B54071","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"214d335ee08627834326c85393075ba9a6a16885","datavalue":{"value":"10.1007/3-540-61511-3_121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647556$665398A4-47D8-4FF8-9972-C2BCBDFCA4F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c764ac21e0f0934969acd440140a93a6d4c985","datavalue":{"value":{"entity-type":"item","numeric-id":1383356,"id":"Q1383356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647556$80F7C25A-66E2-46FB-9191-A9D3940E4A2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647556$387F789D-68CE-4E1D-92CB-B8231C0048B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-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":"Q4647556$6760C9E8-BEFB-4BEB-A37B-BF381B689CB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647556$245737C7-C2C0-4CB2-A6B2-492411A516E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647556$2E726BC3-64CC-4466-A35D-DBAF5271E7C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d29e009665c03736e6c1f82c01430ca58dc9057e","datavalue":{"value":"7001945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647556$07E2300E-6217-49F2-B92D-B60EB2020BC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42fbe7b8974cd7b1ee575530a886ee5b49b43806","datavalue":{"value":"temporal resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647556$4ECE3FBC-3DAF-4EE3-97D2-AFA75FE8E923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647556$E23F67A8-0C82-4D14-9922-B11326AB04C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647556$89199E63-D046-41E7-993B-4C7DD19BD7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b17f05e4289c7582cd773cdd4edb907a56b3cc","datavalue":{"value":"disjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647556$7502860B-E4F2-4824-B33B-597CB76972D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2971f69cbc4a708fa40ff90828ecd88bd4569656","datavalue":{"value":"start node","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647556$C570B95D-15A4-4DBC-B3CC-47464835F158","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":"Q4647556$2FFC3C40-331E-4460-8A7B-9D93E7FAF8E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2115dc794903053492c9a80633ab4d3ed6b74905","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_121","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647556$0156BF09-AE1D-418E-8D0A-B72202EDB29C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed50054a0ad1fab931d4db305dcf9c7bc8c14ff9","datavalue":{"value":"W1537740740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647556$65D58D6F-8E43-4613-85F0-FEF89DB4D2BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e94fc796d6281ef35fac1f629eb9ac4a5b3b29c","datavalue":{"value":{"entity-type":"item","numeric-id":3474286,"id":"Q3474286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647556$408C7B76-0BF1-48EE-B505-42E41646831E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b32ef8c8641427188d46bb8b56103385e3874640","datavalue":{"value":{"entity-type":"item","numeric-id":3338212,"id":"Q3338212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647556$1022DA35-2083-453E-A685-DEF4045F748E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca279731238bf829ee00727bd3f18ec952e9a3bc","datavalue":{"value":{"entity-type":"item","numeric-id":4518437,"id":"Q4518437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647556$658B36C3-431B-4E5A-9585-CF7BBA05AC27","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":"Q4647556$72E3B37A-5CFE-4EEC-85BF-5245E3DDCDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1c6acb31205ce7e236213c9d48443cc38913af","datavalue":{"value":{"entity-type":"item","numeric-id":4264717,"id":"Q4264717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647556$E54105B1-C307-4C7F-9465-93FECBBF3E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ce646df2ba4e62a5e63c3ad929d766750f3eb86","datavalue":{"value":{"entity-type":"item","numeric-id":1159976,"id":"Q1159976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647556$E5DF9362-3FC7-4250-BD3C-5FCCFC07ACA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d21cbd0c791f083ee08a1e9e48b64281b87bb07","datavalue":{"value":{"entity-type":"item","numeric-id":3664404,"id":"Q3664404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647556$6626134D-6348-441A-A3FD-5CDBF921221F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647556$17EEEF2F-7452-4DCA-A2E0-CFECBE5FE33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647556$C42B13FC-743E-4F2E-91FA-6EBE72D9E9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647556$6194830A-A915-46E4-8C3D-C83A57D4AC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647556$EACD5DA7-ACF2-4482-8150-774E67854369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647556$D0FA7769-D619-4483-B667-1F13174E1CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09e0682cd7b7941e53ad4f333d01634cbe29d198","datavalue":{"value":{"entity-type":"item","numeric-id":3741614,"id":"Q3741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647556$DCD5212D-A18B-47FE-9692-6023B8A23258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647556$E420062F-A3C3-45BB-AF36-20F24C21FEB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5225452bae2904b4a8fe5f33e86f9216d0ae06a2","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51681389e3cc55660aa382bf0e2bade65aa24378","datavalue":{"value":{"amount":"+0.92933226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647556$E14E9001-D5E8-419D-9B65-35146BB754DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de8464950e14130c995f280fff120d425b7eb166","datavalue":{"value":{"entity-type":"item","numeric-id":2996133,"id":"Q2996133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41fd86938ee39f0420dd4f310acb0c6e2686da48","datavalue":{"value":{"amount":"+0.91282684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647556$A2C736C1-E5EC-422B-92CE-397DE2D2331C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674a4fc00a703afc442c8e1c15c8b2d1c36549e","datavalue":{"value":{"entity-type":"item","numeric-id":3741614,"id":"Q3741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b66343c1d7e28d30352b794c04a8bd3fa8e0d9","datavalue":{"value":{"amount":"+0.9122629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647556$21A93F64-47E7-4829-B113-E197B2D970AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fdfca836d20892a75c78c1567d00fd92ce5460b","datavalue":{"value":{"entity-type":"item","numeric-id":4209289,"id":"Q4209289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21792d732f07c320a5bb86defdd88d33c30f65f","datavalue":{"value":{"amount":"+0.9122093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647556$43C3E903-F699-446A-892F-979D808FADA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c378675ffe377bc56267cf1f2a84bd5babfc8658","datavalue":{"value":{"entity-type":"item","numeric-id":4647550,"id":"Q4647550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b5a080bb919b0533ef95c88c69147ea7ce04ab","datavalue":{"value":{"amount":"+0.8961755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647556$CA7FFA21-6A1B-4BA4-9B9F-C3B02177F017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fc4030e1f254b736e2fcf6aa75cde2125981cb","datavalue":{"value":{"entity-type":"item","numeric-id":5145634,"id":"Q5145634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4263b9ca43030a7ba2fc5d0bd49e52beb010f2b9","datavalue":{"value":{"amount":"+0.8959738","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647556$50315E9C-40CE-4BD3-9600-A71F87528B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"387e388045f1928be5f10f68aac527271089cfb0","datavalue":{"value":{"entity-type":"item","numeric-id":3608888,"id":"Q3608888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a967386f9cbfdf1ee5eac63cf9b52cd7fb3535c7","datavalue":{"value":{"amount":"+0.88946486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647556$4D2FEB6B-6904-494A-B1C0-1672B5D44659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450694946c727cf611c9b085e62556e35c91a649","datavalue":{"value":{"entity-type":"item","numeric-id":5058432,"id":"Q5058432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e76389b72e163eb4242abcdf51fc7deed0df431","datavalue":{"value":{"amount":"+0.8865751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647556$6511C9F7-1A8F-490A-9120-EC7B29E4CDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"125f922c77a32d98ed54d933e1dd21756467fd14","datavalue":{"value":{"entity-type":"item","numeric-id":2389682,"id":"Q2389682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c361ebdbf75ca0b66407b86855242beaebb57f4","datavalue":{"value":{"amount":"+0.8849222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647556$E7B642A2-B426-4625-81AF-9AC579539D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38dc0bfd9f560f57a71a22978bb3165fec329c18","datavalue":{"value":{"entity-type":"item","numeric-id":1322389,"id":"Q1322389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee4aebb5e477f26e6090afbb96e72488f1862794","datavalue":{"value":{"amount":"+0.88480514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647556$084E181C-C9D7-4CCA-B869-7E5531B0EFD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647556","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647556"}}}}}