{"entities":{"Q3474286":{"pageid":5456569,"ns":120,"title":"Item:Q3474286","lastrevid":46751793,"modified":"2025-12-25T12:51:06Z","type":"item","id":"Q3474286","labels":{"en":{"language":"en","value":"Nonclausal deduction in first-order temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4141537"}},"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":"Q3474286$0FF004E1-FFCB-4F73-972F-B4448506229F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a55d93876d11fd99c892e4fd0efdf3fab2c40276","datavalue":{"value":{"text":"Nonclausal deduction in first-order temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3474286$814ACB69-F34D-4F37-ACE6-FE0413607AD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d268032fe0c8601624342b49f789e0ee4055acf8","datavalue":{"value":"0696.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474286$DFBD68EB-BBCA-4FCC-B8FA-7BA1907CB4A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb97bf2c0d38956a158f1a1fabab3b8a283a9005","datavalue":{"value":"10.1145/77600.77617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474286$A7A89A7D-0637-4716-BB1E-EE2D429AD34E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7720f013cde2512621480147576e51273a4c701","datavalue":{"value":{"entity-type":"item","numeric-id":265786,"id":"Q265786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474286$D1477749-5760-4B7F-B296-62C1DB84424C","rank":"normal"},{"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":"Q3474286$BABEFB3E-917C-4D4F-A35D-17999A95E090","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474286$7B48E301-69E9-4073-86D4-6FB1CB8BEBD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3474286$E66605F7-56FF-4728-A424-2D45DCA27B25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474286$7B2519F6-75FC-4898-A56C-3E548464C04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474286$1EBF386A-C051-45D6-9E2D-D0E43EDA0762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474286$02EE7D70-5493-4609-B377-65E04C48BEE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f48ead6e28c4348b59224dceceb8d73c6c39f58","datavalue":{"value":"4141537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474286$4B574CFA-FADD-470C-96B9-F1FB66E70827","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474286$5EF6DBCE-BFA9-4BEE-9C2C-01E67FECB2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d66aee4fbdc49e16c428d00dbf1c391e04c107cc","datavalue":{"value":"concurrent-program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474286$FEB02EEE-D741-4E89-A5B2-A7A93DA5BE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f357cfc018bb9f44cd830fc5865ae80e5811a4c0","datavalue":{"value":"nonclausal resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474286$2ACF0FC5-66DD-436E-9AA6-B1A95823B88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a1a1b4de2f6601636779c475343b36943870036","datavalue":{"value":"first-order temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474286$1B74D4BE-230D-422B-99B5-48AFF44ED7F0","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":"Q3474286$E42526B1-5490-4FDF-A4F8-7B894DAF8520","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92accb45fa3738e5d52dc2b6b62c1a2fbe2e9222","datavalue":{"value":"https://doi.org/10.1145/77600.77617","type":"string"},"datatype":"url"},"type":"statement","id":"Q3474286$0F6C0879-F247-4055-8F6F-A6E8F6F4445D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2643aa0455cf48cd6fc65d78818924a7b0afc806","datavalue":{"value":"W2057354456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474286$F5DE8480-1B6D-44DE-BFB9-52656D72B05A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80b726a14accdfc41b7c7c865c6cc671fa6b32c","datavalue":{"value":{"entity-type":"item","numeric-id":3486547,"id":"Q3486547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63453616b69eb96b926e1ca19f5fd8f1d49c7e13","datavalue":{"value":{"amount":"+0.9224982","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":"Q3474286$F0E0DEC8-B2FC-4FD4-B62F-937983DF8FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ffbeae1f7b37a10d78b673e80b5131029a08ef","datavalue":{"value":{"entity-type":"item","numeric-id":1190791,"id":"Q1190791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63453616b69eb96b926e1ca19f5fd8f1d49c7e13","datavalue":{"value":{"amount":"+0.9224982","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":"Q3474286$9A4A48E5-5F21-47DE-B25E-2DCD39568189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0213266c99bd1271365493300d6d7438a5d45490","datavalue":{"value":{"entity-type":"item","numeric-id":3682464,"id":"Q3682464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41787a1de6b40ed9bc433cb8c1c2b6de9d292341","datavalue":{"value":{"amount":"+0.9139862","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":"Q3474286$BF2A331D-3DFA-48D8-B92A-0085CE04BA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4908c5983c5fd202b8ba5072d5fe994d868c15e7","datavalue":{"value":{"entity-type":"item","numeric-id":3981716,"id":"Q3981716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f511f93014cd2d070866987208c003b12fbc2c","datavalue":{"value":{"amount":"+0.9117825","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":"Q3474286$3E5E220E-D58D-45AE-AF8C-20866B36429C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594823588009b4b3f1b5f0c6adb9995748a54777","datavalue":{"value":{"entity-type":"item","numeric-id":2826032,"id":"Q2826032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5bd3f1ff0fa75718387c1aa426163882bcbfeb9","datavalue":{"value":{"amount":"+0.90660834","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":"Q3474286$5EFA7BF1-B615-4C94-B819-F9B9D556F916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac829807b706662d7bd51fdde4ecc1b25ae19de","datavalue":{"value":{"entity-type":"item","numeric-id":5202982,"id":"Q5202982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01443ef1db98aa76e86b81073d9f807e4c6bc9db","datavalue":{"value":{"amount":"+0.9054332","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":"Q3474286$851D4E0A-8889-4F4E-865E-7816F8A4022A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1ca767f70b283c7edbcb0dabe8a0b52cf189726","datavalue":{"value":{"entity-type":"item","numeric-id":1108819,"id":"Q1108819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494688f0b9d18b6641eca6ef5de208ec5affc22e","datavalue":{"value":{"amount":"+0.90408736","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":"Q3474286$7675BF9B-DEB3-44FA-A906-0DEFF72AE727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70568d8da5c1a4947edad05e2ed0b3f7ec91de3d","datavalue":{"value":{"entity-type":"item","numeric-id":3533121,"id":"Q3533121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"700f13b95ec2a21adb62becca65865f467ab872b","datavalue":{"value":{"amount":"+0.9028197","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":"Q3474286$43C2BF63-DD1A-41EA-B410-6682423DF021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ff50445499446a3d9a93b423163764956180b4e","datavalue":{"value":{"entity-type":"item","numeric-id":679335,"id":"Q679335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fed09a88e5c8201ee142160541fa21621547555","datavalue":{"value":{"amount":"+0.8999534","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":"Q3474286$0C6F0085-135A-4EDB-B1E7-57CCFA4B08C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0408ce9bbc0a833b8663ac4d5293031fdbb6c0e","datavalue":{"value":{"entity-type":"item","numeric-id":5283205,"id":"Q5283205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c315688b332f981afdb75900cb0df7e20dd5c543","datavalue":{"value":{"amount":"+0.8949195","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":"Q3474286$8D028AD5-259B-4504-931D-40141B79A52F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3474286","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3474286"}}}}}