{"entities":{"Q4941896":{"pageid":6971478,"ns":120,"title":"Item:Q4941896","lastrevid":40903265,"modified":"2025-04-13T23:24:37Z","type":"item","id":"Q4941896","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1418334"}},"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":"Q4941896$CADCC20B-FD9D-4F61-A2AC-DC74B900DB8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1a9db83380a2d2fd63db6806802558827e1d216","datavalue":{"value":"0947.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941896$E3556B11-40DC-4086-BC58-04799211ADB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"808321b5dbf4c939be439eeccdeece7a1f77a12f","datavalue":{"value":{"time":"+2000-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4941896$3948B6D1-AFA4-492C-9665-C0C8E7814049","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941896$FC30F4B2-E247-4EB0-ACAC-7C8CBBE0056F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941896$2871ED0F-9FAD-45C6-BE4D-136B688113AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63bfae98d4c79efc411a3054645500f5609d20b9","datavalue":{"value":"1418334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941896$55EBC875-0227-4F7E-BF18-780865394679","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac3494ebecca100692474e28aff9a9aaca388704","datavalue":{"value":"\\(\\text{CTL}^*\\) logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941896$7701ADFB-47C6-48B5-9D96-2D8B6265133B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aceecf3a244f249a101866477fde05aa97afa18","datavalue":{"value":"proof techniques for branching-time temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941896$317AFDD1-CD80-4FD9-9FC8-629F89081B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20a478193fe26fd22e880437974a3f6404d89630","datavalue":{"value":"clausal resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941896$23A6A3CD-681A-44DC-B327-559BAF6371FD","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":"Q4941896$2F8FA5D1-55BD-4E71-A026-BCC6E328267D","rank":"normal"}],"P1643":[{"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":"bc081e9ede49e16de396b56c3f6431d5903261c4","datavalue":{"value":{"amount":"+0.8691992","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":"Q4941896$584F54D3-A2F8-4232-9017-B3CECF9F7FA3","rank":"normal"},{"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":"67f5b1cf767c80c5916a4352c400a0c215a5f444","datavalue":{"value":{"amount":"+0.8566833","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":"Q4941896$96A4A56F-53B7-4D21-9BC8-E6923D78136D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95ea9aa45486b72268cfa1c99d9e71cf1836aabe","datavalue":{"value":{"entity-type":"item","numeric-id":2495388,"id":"Q2495388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6beb05f288d98e2f7140e07a1d4237ecd1af79d9","datavalue":{"value":{"amount":"+0.8382877","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":"Q4941896$FA2EB816-AA19-420C-9A95-48ACBFE6E459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5969d260ed273a4e7e205284010dc180181d5b","datavalue":{"value":{"entity-type":"item","numeric-id":3192202,"id":"Q3192202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b97af6a2246f1a25336510c54c1f43a6816585","datavalue":{"value":{"amount":"+0.8326542","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":"Q4941896$841BD781-2602-4ACA-8713-3F210EF959DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625175a9e6fa85f98769452b1e0dafbf68739440","datavalue":{"value":{"entity-type":"item","numeric-id":5429559,"id":"Q5429559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d2ec227e4da3b4b966e439002b22baa20f6228","datavalue":{"value":{"amount":"+0.82723427","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":"Q4941896$FA09DB9E-102F-42FB-9BB4-7BDC232FF194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0232a38bb775622c654badc3933c87f1afc447f4","datavalue":{"value":{"entity-type":"item","numeric-id":5881281,"id":"Q5881281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e47e4c8e08dccdf304a8cefcf7a52637c80680","datavalue":{"value":{"amount":"+0.82238126","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":"Q4941896$6EE4DB9C-114A-4691-B2ED-A063C274EF66","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":"aaae414d859c5567a08f99152ac21fc66926860f","datavalue":{"value":{"amount":"+0.8223034","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":"Q4941896$27AF46C8-7570-458F-BFBB-2F9AB370856F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9268dd06845e00075de3e80191ac096a16c77d1","datavalue":{"value":{"entity-type":"item","numeric-id":1606116,"id":"Q1606116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6cb94a1afd623c51bffccc68e63fbde944c3d1","datavalue":{"value":{"amount":"+0.82092655","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":"Q4941896$DA7A69FA-BDA5-4B11-838D-1252174D8929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4c672886c9edf0b4e96451485a497181af72863","datavalue":{"value":{"entity-type":"item","numeric-id":4281685,"id":"Q4281685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b67f8cbe09c576962ee9600e65b70221c81bab6","datavalue":{"value":{"amount":"+0.8194057","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":"Q4941896$0540B0FF-15B2-4D7C-8E8E-3771A5901AA2","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":"329cab8f7afada77ff10752dbdc90898cd31ff9c","datavalue":{"value":{"amount":"+0.8192585","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":"Q4941896$BA01DA8C-C47A-43B5-A375-679B900BD79B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4941896","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4941896"}}}}}