{"entities":{"Q3637251":{"pageid":5667157,"ns":120,"title":"Item:Q3637251","lastrevid":49739689,"modified":"2026-01-09T21:47:38Z","type":"item","id":"Q3637251","labels":{"en":{"language":"en","value":"Complementary Criteria for Testing Temporal Logic Properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576388"}},"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":"Q3637251$4B74023E-DC5E-4EAC-A731-2D6DFC790201","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"903fc44faae2731d8e1955bcf39f1720d3c5590d","datavalue":{"value":{"text":"Complementary Criteria for Testing Temporal Logic Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637251$8769C529-041C-4D02-A041-1D3661CE6538","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3163397c0ab94ab22094843f01c37accd704ed0e","datavalue":{"value":"1246.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637251$2B7F98EF-085B-422A-B286-4AFF1E8C22CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"018787ece6faa7cdbc95520f0176971d1cc8f1fe","datavalue":{"value":"10.1007/978-3-642-02949-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637251$04580FE8-CD93-44D3-BBB0-19803AF98885","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d3e580c339818c5adadec9817e0d38282f5b54","datavalue":{"value":{"entity-type":"item","numeric-id":2270688,"id":"Q2270688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637251$B4D519C1-43A1-4B78-84AD-163DD144FC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ac83ec19e055e4bbd5c67e8bde25158116b7be9","datavalue":{"value":{"entity-type":"item","numeric-id":236278,"id":"Q236278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637251$460459C4-8695-4562-8331-27482A91B375","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637251$95A7A6D0-B03A-4897-A051-9F4EA2424777","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-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":"Q3637251$D0F7D9B8-E794-4AB1-8E47-03EB7205DFEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637251$8348E7FF-B970-4B64-A804-2F984262EACE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b9fd47e4432550c9ff9bfa326bf555fda32914e","datavalue":{"value":"5576388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637251$65C45B02-AC92-4CD9-AFD9-B7F2913DAB61","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637251$14F543FC-93F5-4EED-97C9-20F84F3AE814","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":"Q3637251$B699A14A-58C6-47F9-AF05-07AB8960F467","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0deca6ed7240b1f657d771074084e4a9ab8fe86","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02949-3_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637251$AB62F448-1B2F-4A01-8FB0-D801BE7B98E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"143972b65a47037bde923195253b6059c448ce7d","datavalue":{"value":"W1505422411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637251$0C757130-75F6-43DB-8034-A8236AA34463","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c89590127f5397bc8ed4b7ff89515c95d81a4f7","datavalue":{"value":{"entity-type":"item","numeric-id":3506694,"id":"Q3506694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637251$40706CD6-28E6-4C86-A2B7-CD5FFB1582AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054d1c0bc7f443ad35e5875b32e75be41c728bab","datavalue":{"value":{"entity-type":"item","numeric-id":4472188,"id":"Q4472188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637251$0C7D26B2-6CA5-4257-88D2-B16017D8DEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5228823855efb83bd72957df80935faa3afe5b1a","datavalue":{"value":{"entity-type":"item","numeric-id":4494388,"id":"Q4494388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637251$15059631-C852-4911-9F10-7137A09A2F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b7b79e28ff98a0b9d365f342c980fd9d2e6540","datavalue":{"value":{"entity-type":"item","numeric-id":4804918,"id":"Q4804918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637251$F6F496A2-AE89-4B83-8C8E-C23AB0AB2CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af917fa5a06c588fc370196bd00e18295f0da836","datavalue":{"value":{"entity-type":"item","numeric-id":5423870,"id":"Q5423870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637251$DC66E2CE-D8A8-4E8B-8EFE-BD5C06596AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637251$A0339C15-BE79-45F8-AE41-FAB80D08E40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf08238b77ac09fe0d67b32fc1d7df4fa131e9f","datavalue":{"value":{"entity-type":"item","numeric-id":2870321,"id":"Q2870321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637251$D1D1AB1A-FFE1-4F28-BBCE-A9B0DA30DA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6accf9f1ff472066651f3f3baac4ded84ae92054","datavalue":{"value":{"entity-type":"item","numeric-id":5902016,"id":"Q5902016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637251$E9681449-BE09-42D5-BED1-1AEF4FC1791E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d63dbd4b815d1985d091a8bc4016d2f77152968","datavalue":{"value":{"entity-type":"item","numeric-id":5712362,"id":"Q5712362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e61673c7df421a73c2b66b6894ce0e1aad22dda4","datavalue":{"value":{"amount":"+0.8890261","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":"Q3637251$3E19191F-8034-4207-A78A-BD43BEFDCBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6223bf91c46c04c0011b1fe68d8bb668a4ff7a46","datavalue":{"value":{"entity-type":"item","numeric-id":4907867,"id":"Q4907867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a15a78732d184fcba40ab148c12ddf2cd0b564a0","datavalue":{"value":{"amount":"+0.8849938","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":"Q3637251$7E32F1B7-A3CA-4DFF-9092-5272BE51F40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd425e4387b1095379f49072ea3bd8ba5fda755f","datavalue":{"value":{"entity-type":"item","numeric-id":4003036,"id":"Q4003036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be95f0e4af2100b88fc9e589b781b0b121057ee","datavalue":{"value":{"amount":"+0.8826668","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":"Q3637251$E9E0C512-03F8-4656-8D37-9BC7A878E912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f33acdc1522ef9980680929c8850a95b4d3f744","datavalue":{"value":{"entity-type":"item","numeric-id":5145353,"id":"Q5145353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"592a1419ca8c4e1747b53fcbbfd0ae392f77146f","datavalue":{"value":{"amount":"+0.882334","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":"Q3637251$CA464BA5-E85E-4B91-B50D-CA1B761E4B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea294ec4f01088d81aabd4eedf00652a9700fbeb","datavalue":{"value":{"entity-type":"item","numeric-id":3832037,"id":"Q3832037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ae903481d2e4e317328015c8659b790c12fbc2","datavalue":{"value":{"amount":"+0.87854415","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":"Q3637251$7B2E2B8A-B8F7-42CA-A67E-DBDC16541A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd6430ddc07f666412f326375efcae8ea7ce9a5","datavalue":{"value":{"entity-type":"item","numeric-id":4508313,"id":"Q4508313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1a2e0c6d8b4365b0c7f426efc3778a742dd28c","datavalue":{"value":{"amount":"+0.8780239","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":"Q3637251$07BFF1C7-06AF-4496-B6FC-0C682F8BBC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"436541eb6b33917c0aa1c97565bbf6b9bec8dfa6","datavalue":{"value":{"amount":"+0.8778391","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":"Q3637251$49A56763-AD1B-4383-B633-C1149557C5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"182a0685bafb87ff94454e3c2c7c71f51b89cdb5","datavalue":{"value":{"entity-type":"item","numeric-id":5047168,"id":"Q5047168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d639144a5a4f57b1ce53b3562e607f0026cd5a17","datavalue":{"value":{"amount":"+0.87589204","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":"Q3637251$D8D8F3DF-21D4-450C-91FF-FB92B3532FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ee0bff060438bf2c27223e0cfce3c3fc4dec26","datavalue":{"value":{"entity-type":"item","numeric-id":5431318,"id":"Q5431318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea3f7e344b8e7b75ca36001a2a05fc0430fb556","datavalue":{"value":{"amount":"+0.8734903","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":"Q3637251$F33B9228-0999-429A-9D14-A91B4393A251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b2382953ab4f7c2255d42b7d43e5bde4378a2e","datavalue":{"value":{"entity-type":"item","numeric-id":1586168,"id":"Q1586168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05921c8431baf6ddbfac9f837449d71b893daecc","datavalue":{"value":{"amount":"+0.87274736","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":"Q3637251$1C4EDC39-8241-4C4E-BE32-CDD1ED5016D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637251","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637251"}}}}}