{"entities":{"Q6487389":{"pageid":14066158,"ns":120,"title":"Item:Q6487389","lastrevid":47785672,"modified":"2026-01-02T16:48:57Z","type":"item","id":"Q6487389","labels":{"en":{"language":"en","value":"On Stubborn Sets in the Verification of Linear Time Temporal Properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631061"}},"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":"Q6487389$F35828A1-48DB-4B5F-9F2C-72DD1737899F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"215a10894242a7c3c290872a6c5da433b6846471","datavalue":{"value":{"text":"On Stubborn Sets in the Verification of Linear Time Temporal Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487389$B013E657-1964-4924-A910-36BA2C624BF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78c29b92d228e99ad1b31be5b90af0a48640961d","datavalue":{"value":"1510.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487389$EBABA5D1-2871-4159-8013-6334E0D2E4E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9db192fcf1907a259f59f6259f20643a8002fdbc","datavalue":{"value":"10.1007/3-540-69108-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487389$1D8EB5AA-90B3-4227-8726-96E3097B26A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b8e199579b5254fba377f48fbab9369ea5b029","datavalue":{"value":{"entity-type":"item","numeric-id":1774567,"id":"Q1774567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487389$5AAAA6EC-A3EB-4FAE-9A2A-09C383E45B97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487389$1FB0A644-4870-4947-838B-905DF27F481C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487389$6EDCA457-4D5A-4400-B82C-EFA7C8758CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487389$6B8A6731-D8A6-4585-BD65-0A4EDA9AA749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487389$2DB6F246-98F4-4040-A46D-FBD1EDEDF74F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7208f8ef874162978208441950d4fba66b8b0d1","datavalue":{"value":"7631061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487389$DBB4D57A-586C-4BB8-982F-C062BE4BFB29","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":"Q6487389$2DA14ED2-E1C2-4EB7-BD44-A24D70846A31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36e6bced9434e3af5aa4ed984ec7b107de6e2ff6","datavalue":{"value":{"entity-type":"item","numeric-id":6487377,"id":"Q6487377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487389$210F1448-F882-4C4A-9FC1-8446A30ED0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28bc60ee833177d563e5e082ad3a90443a25cb70","datavalue":{"value":{"entity-type":"item","numeric-id":1309679,"id":"Q1309679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487389$4388664E-5DBA-4B8A-9807-2D529FC2B573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487389$C5E82A11-93E4-4B2F-97AD-5937FC2887C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015cd53333891e4bd79b629bebe5f35ba7a7263e","datavalue":{"value":{"entity-type":"item","numeric-id":3738540,"id":"Q3738540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487389$62137642-2EB9-4341-8E77-DD911207EAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487389$5D8EC2A3-F98F-45A0-8BF4-90B7459282CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19a75382afd7a0d426cf1ffa7f4186b7c975624","datavalue":{"value":{"entity-type":"item","numeric-id":4037381,"id":"Q4037381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487389$DF62F313-027D-4A4D-A0C3-F4A0906CFEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"521bc4c633dbd0f1fb3b7a6cd36f636108239b35","datavalue":{"value":{"entity-type":"item","numeric-id":1200917,"id":"Q1200917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487389$086057BB-F731-4DEA-95CC-F33109143584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a7e1bcc00862ea527585b878fe125744afbed0","datavalue":{"value":{"entity-type":"item","numeric-id":5949489,"id":"Q5949489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487389$4121D9DA-4903-4C28-BB12-8AE11EDCE234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7799bf69c114773681f0be999c8dba1f87dca244","datavalue":{"value":{"entity-type":"item","numeric-id":5756621,"id":"Q5756621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487389$31E70424-95CD-4167-975B-599BF61511A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747cc4de9ba2a5f1b34ac1e3a64be5300b4f97a7","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487389$19D0CE8C-653F-40E6-9EF9-618E4DEAD5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74daea4d87f7d8c7894a5865f1f8c093377f46c","datavalue":{"value":{"entity-type":"item","numeric-id":6044105,"id":"Q6044105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487389$8A9033D5-393A-42BB-B2A9-8ABC095CE612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487389$338E0D31-40AC-48AB-8C95-9508859E8AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487389$B7169213-E4FA-4A0F-8A87-4BE55F8CAC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d162cba256908714cd515fe0ee1fb75a0c6f4280","datavalue":{"value":{"entity-type":"item","numeric-id":4633181,"id":"Q4633181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487389$6E74588C-11F2-4BA6-9322-BFCF65F5BFDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f04990e0db6c9aeff1abc0d16d8e9a08477e183f","datavalue":{"value":{"entity-type":"item","numeric-id":1774568,"id":"Q1774568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9d2d7201dbf169656d5f21f1beb8978ca7478bc","datavalue":{"value":{"amount":"+0.9938946962356568","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":"Q6487389$357E3296-0780-4AB0-9E44-6C7E208BAB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2cdb46fd67f0ee69260a41260804338a6e68b0","datavalue":{"value":{"entity-type":"item","numeric-id":4239305,"id":"Q4239305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1da7513db2563843cf7ef597069669f4ec02e597","datavalue":{"value":{"amount":"+0.9004563093185425","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":"Q6487389$858D360A-029A-4860-AC49-7229ADCEF945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f9c94bc5f592e002f3178d997ed103079b4518","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2940ee268a826ce5c335fd82874bf082e65e37c4","datavalue":{"value":{"amount":"+0.8974282145500183","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":"Q6487389$78F06D75-F77E-45A3-B12A-DE35F50B9602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66fb4840c903116e19e4b52ece88905fd9cf1e4d","datavalue":{"value":{"entity-type":"item","numeric-id":2908210,"id":"Q2908210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2940ee268a826ce5c335fd82874bf082e65e37c4","datavalue":{"value":{"amount":"+0.8974282145500183","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":"Q6487389$328CB9A9-2E7B-4082-8CEF-768F3F71D5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f24e54a4aef43f9c0722ab87d1c5a28fddfaee7","datavalue":{"value":{"entity-type":"item","numeric-id":4037087,"id":"Q4037087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c80a02088ee8676f9b912c66ddea68b91be8516","datavalue":{"value":{"amount":"+0.8935072422027588","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":"Q6487389$358B3DF4-FE60-43F0-A0E1-624A781286AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487389","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487389"}}}}}