{"entities":{"Q5166705":{"pageid":7196277,"ns":120,"title":"Item:Q5166705","lastrevid":40732905,"modified":"2025-04-04T12:34:42Z","type":"item","id":"Q5166705","labels":{"en":{"language":"en","value":"Manipulating LTL Formulas Using Spot 1.0"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314171"}},"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":"Q5166705$B3406026-D6B0-495A-B8A8-A8DF6E81A88C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b49796930a6483054734e89fcd0497a39c6740c","datavalue":{"value":{"text":"Manipulating LTL Formulas Using Spot 1.0","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166705$418E1FF9-7884-449E-985E-51995DBBE36A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"327885ca264c5f581e02e927288293030678cdb7","datavalue":{"value":"1410.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166705$410720F6-0A74-4F37-8D09-40801B7E34E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1877b769faf09d5451c165b3fd205ed7bdb22220","datavalue":{"value":"10.1007/978-3-319-02444-8_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166705$F991766C-AF77-4997-93B7-187A9B1662E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81bd03577a130e98610847cb49b30922e30427fb","datavalue":{"value":{"entity-type":"item","numeric-id":2165216,"id":"Q2165216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166705$BA637915-AE38-438B-A406-4C260DD16175","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166705$584CBF9D-4507-4FBF-95F3-488EC32CA05B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166705$8C2E36A2-465A-4DB7-8459-8211919E0695","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166705$DFD7646E-8131-4474-82F0-5321A24D1306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166705$6AE0188D-1B57-4CD2-B220-C374C0C783B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166705$A2815EB0-9CCB-44C2-8388-3E90301A09F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc4e1b05b8c96b451f791fe4f547f3862040b3e7","datavalue":{"value":"6314171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166705$B94B48D3-5D64-4907-A0B7-75804B66F6D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166705$C967F45C-EDE2-4310-8526-F162A9F468F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"08d47e52fa662473da52da3173912d41e362e261","datavalue":{"value":{"entity-type":"item","numeric-id":41157,"id":"Q41157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166705$8593A6DF-340B-489E-A994-5E252CEDA0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"21e9b5f8ca22336858d28b51d6f0576558f3f3fe","datavalue":{"value":{"entity-type":"item","numeric-id":41156,"id":"Q41156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166705$B34609DE-DC66-4C56-A6C1-FAC3AE070616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"552fb94da027a8fb9ad249dd880ff1062aea71b2","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166705$F9BC5FF1-8350-41B2-94C6-F517FFB48469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6f67c543cfaca61c28ca90b55bdc6d97b69fddc6","datavalue":{"value":{"entity-type":"item","numeric-id":41154,"id":"Q41154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166705$00E842F2-9E7E-465A-9AA1-950A2580992B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc220ce59b286e0200c40f349510eae640c61be4","datavalue":{"value":{"entity-type":"item","numeric-id":41153,"id":"Q41153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166705$0990CEDC-B840-44A1-AFB6-BD7C0FA29234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e76a07eda617efd3e62cbf84c171e2a5d3122853","datavalue":{"value":{"entity-type":"item","numeric-id":41155,"id":"Q41155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166705$30022544-2925-44C9-8124-A86B23DAFC9B","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":"Q5166705$FF9BD0F7-AC61-4B47-83C6-9F24E9F9370B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d423bc94fa5fa4dd71a00acfb22d383d676786f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166705$7DD9EE81-213E-4454-8ED1-5048DCE19548","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9546b6f66bd57bcf8c274ab716894fbcd1e44c7b","datavalue":{"value":"W35895474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166705$F218885D-927B-4782-ABD5-C0BBAA6FD564","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52a7d881edeac3efe9ce324b598fae5fc8239b56","datavalue":{"value":{"entity-type":"item","numeric-id":1810856,"id":"Q1810856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6d62455018ee7435f289724be6b07e8d371fce","datavalue":{"value":{"amount":"+0.80690515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166705$CC6BF357-D59C-4D82-80A4-D9F433AE1B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30200af6e12b11a1c4f472652b92ff43843a9259","datavalue":{"value":{"entity-type":"item","numeric-id":5394561,"id":"Q5394561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39876b52ab86d6e9142e9b37f4d614ba588fe206","datavalue":{"value":{"amount":"+0.8031518","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166705$ED2FD8EA-5E6D-4CE6-B19D-3A41C93A2599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de6e153b5969c090d61eb6bf4582a31803e6130","datavalue":{"value":{"entity-type":"item","numeric-id":4411974,"id":"Q4411974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32423adc68b5111399eefd0692ba8a32216abd87","datavalue":{"value":{"amount":"+0.7971392","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166705$410AD126-E315-4B05-93CE-835C8D661787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653b99f3872659e4dcfc2a72d6d5308a1bd8d865","datavalue":{"value":{"entity-type":"item","numeric-id":5450882,"id":"Q5450882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da67bf1027448ac24701462bdf4ca6f618f7bbb","datavalue":{"value":{"amount":"+0.79604113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166705$04B6AC74-422D-43FE-A8DE-1023600661BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9ec0decb7be3be1b5b97b74f6d05bf61c3d572","datavalue":{"value":{"entity-type":"item","numeric-id":6487366,"id":"Q6487366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387c340baf9bedf1d4bf608dd6a1c94b5edb7c17","datavalue":{"value":{"amount":"+0.7948507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166705$5223A55D-E7BD-4482-B59D-6E2228C5592E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b30e7b65c32be804e050500e89579417a82c5c","datavalue":{"value":{"entity-type":"item","numeric-id":3510824,"id":"Q3510824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10264b9bc494c46149ae59f6cad1f34308ffd6e1","datavalue":{"value":{"amount":"+0.7918644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166705$89953579-2A23-46CC-B2C7-995C902A9028","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166705"}}}}}