{"entities":{"Q5900691":{"pageid":8006923,"ns":120,"title":"Item:Q5900691","lastrevid":50958509,"modified":"2026-01-15T22:40:42Z","type":"item","id":"Q5900691","labels":{"en":{"language":"en","value":"Enhanced vacuity detection in linear temporal logic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695379"}},"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":"Q5900691$645594C5-8114-471C-A0CD-83441B4A29DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900691$3752089E-F2D8-4A75-BB8C-077A4D4B9686","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d4e2f4ae7c0cfc0481481bdd7835adb2c17cf1e","datavalue":{"value":"1278.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900691$70795925-C339-4561-9C6D-A8792B877194","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e250f871627bca80e63711b4a809f789ad5b60e2","datavalue":{"value":{"entity-type":"item","numeric-id":2849588,"id":"Q2849588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900691$EFED9FB0-C4D2-4C79-A450-5F81631160FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d92818e59c1c1e061569f357623fe5f5b2fd830","datavalue":{"value":{"entity-type":"item","numeric-id":1274451,"id":"Q1274451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900691$805940C1-A0A5-43D6-B0E4-699BB0206343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a6f837537eafe1ba85c429ee2310fcfd446d3de","datavalue":{"value":{"entity-type":"item","numeric-id":3552050,"id":"Q3552050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900691$728FEDC9-3514-4098-A9C9-6CBA12027381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900691$08B1FE44-AAE8-44C4-98AA-1AF1814CDCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd1d437ad385d0c2e631f017473e3c972acd186","datavalue":{"value":{"entity-type":"item","numeric-id":439953,"id":"Q439953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900691$DC8FD168-F102-4021-92C8-2428DC057F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cc44051e4f58137ff29fc58fe4c774353613a2d","datavalue":{"value":{"entity-type":"item","numeric-id":1377347,"id":"Q1377347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900691$6A3A84A4-3D7F-4ACC-9E3C-F3C725C7BB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900691$E62064F6-2AD9-4FDB-8EE2-733056A12F50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900691$D60FCC1F-67A1-4DCC-AEA5-451B24674656","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900691$54761F82-50DD-460A-A70E-808A9BBF1609","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900691$8EE4CD8D-4012-4061-AD19-B970F4CAC035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900691$2E8DA23D-9E14-4426-BC6B-D5658C65345A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4178cf95639d7e30c2eab4fabab5199de153e678","datavalue":{"value":"5695379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900691$038DD103-5C87-4173-B1E1-11C37B54C98F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900691$69720F62-0DC3-4725-B89F-80933883E92B","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":"Q5900691$BE4CC6C0-7570-4F8B-A499-D126386FB7AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"050caeb9facfc2b37142c301b40d1dfd9dbf1be9","datavalue":{"value":"https://doi.org/10.1007/b11831","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900691$5A20AB29-7D41-43F3-AED8-C969390DA719","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900691$BC1BEA84-F614-4B07-BAED-589EC4BF2CF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900691$08E8BC4F-44DA-4066-8C9D-3CFB228CA02A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aa2af0c2736b86a0d609e02c2adefc49ade8ae0","datavalue":{"value":{"entity-type":"item","numeric-id":4494388,"id":"Q4494388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45a75d62fca467bbab9a080bb694de80841e84b5","datavalue":{"value":{"amount":"+0.9432154893875122","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":"Q5900691$D0ED979B-5408-4D97-87A6-0974F182A65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ada2c4233c1c1c12e3f6fb91891afb566676489","datavalue":{"value":{"entity-type":"item","numeric-id":5943261,"id":"Q5943261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"167ac3770542436120af4f7421f0e1445899b71f","datavalue":{"value":{"amount":"+0.943184733390808","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":"Q5900691$74C36FEF-48CE-416F-91C1-DA24FF47DE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f008687de8a934f2fdf14ddf6f092b116ab46c1","datavalue":{"value":{"entity-type":"item","numeric-id":2946649,"id":"Q2946649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d3c77d08e14ab7fbccb3e266a4584e2a896aa4","datavalue":{"value":{"amount":"+0.8930732011795044","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":"Q5900691$8627E5BE-7590-442E-B03A-F6DC1FF0B833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d78244da843102021ff7918a16dda8e1cc735978","datavalue":{"value":{"entity-type":"item","numeric-id":3498452,"id":"Q3498452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"255eb2704bd3339fcc8e9c35caa85efe1dced3b5","datavalue":{"value":{"amount":"+0.8721953630447388","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":"Q5900691$6C0A7B6D-C7B9-49BC-B6C2-279854C56D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd13b7aa32efb497bc12231ac98054aa66717b33","datavalue":{"value":{"entity-type":"item","numeric-id":5308426,"id":"Q5308426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd01432db5f453bfe16e09cf3601e04585bef56d","datavalue":{"value":{"amount":"+0.8688287734985352","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":"Q5900691$4BC84707-6379-4DA9-AB40-42CA8D2E2902","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900691","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900691"}}}}}