{"entities":{"Q6487366":{"pageid":14066135,"ns":120,"title":"Item:Q6487366","lastrevid":47785585,"modified":"2026-01-02T16:48:56Z","type":"item","id":"Q6487366","labels":{"en":{"language":"en","value":"Model checking LTL using constraint programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631016"}},"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":"Q6487366$CB5C5F3F-58EE-47D1-9A50-43C430140D63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"481656f928919b961ef8b6408e95c68008a6d638","datavalue":{"value":{"text":"Model checking LTL using constraint programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487366$1D6D8326-6B76-46F3-9D61-227107D94C3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7578156788b68bca961e7f0c8c55894d4c667b9","datavalue":{"value":"1523.6804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487366$37AFE4DF-F8B9-4B56-B764-EB18547CA727","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c47d4083f2dcfc2503b1a8dab28c2a2a41e9f8c1","datavalue":{"value":"10.1007/3-540-63139-9_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487366$A000EA51-84E7-4329-82CD-08FBED8DBEB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487366$DCEE5388-EBBA-4DEB-AB1F-CF7C06E29254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fff557b4506dc33df332aadb8886a48a4fe4bd94","datavalue":{"value":{"entity-type":"item","numeric-id":6485689,"id":"Q6485689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487366$34BCF97F-DB2F-4201-9A0B-0A75FB19334F","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":"Q6487366$DE5AE574-97BF-44FD-AA3A-AF3F20C624D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487366$8BC49539-1B10-4F8C-99BE-823D5F58A62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487366$3DC51FB9-AC31-4F74-8466-756B7C946BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487366$252FF778-DE31-4D2A-AED5-5848398B2B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487366$F1E59FAA-DB88-42D3-AD14-D9030D2305C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b34113bc88b7be8cc77a4745ddfe4fa1bd55ef23","datavalue":{"value":"7631016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487366$70D06B93-13F9-4296-89EA-0E43ACAC3748","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":"Q6487366$D87EBAC1-7B40-44C4-986F-99A5CD03F8B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff22db2f81147d05f8884afa73b2e908248b3aa","datavalue":{"value":{"entity-type":"item","numeric-id":4176960,"id":"Q4176960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487366$22F07756-CEB3-4CC4-86B6-05ED3291994C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca40f7fab407694a6786a841f6f4de26a927568","datavalue":{"value":{"entity-type":"item","numeric-id":4856177,"id":"Q4856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487366$1E943564-D6F8-42DE-97C9-6CE23ECFB271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c316786d710de37d6563b2d09bafe89152ae70","datavalue":{"value":{"entity-type":"item","numeric-id":6487366,"id":"Q6487366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487366$AA88BF74-D3CE-4E5C-9A2D-515D4CF121FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c511108d665ef3f97b7b356f26adafce655ba945","datavalue":{"value":{"entity-type":"item","numeric-id":672869,"id":"Q672869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487366$57D9AB5B-896A-4F2B-99A8-B096871CDCBB","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":"Q6487366$5F3DD255-49DF-4F60-B2C9-DB16616570F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9214f9359c71fc0abb632868b1b8de91418a1823","datavalue":{"value":{"entity-type":"item","numeric-id":4331789,"id":"Q4331789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487366$5FF6911B-58BE-4098-8822-27AB86A2AF50","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":"Q6487366$1D271C83-417E-4B60-8FFE-83E7B4509C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487366$FD79AD47-4DB1-4405-9BDF-F5F2A0CBF054","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58649780c44d0e6e266dcfe7f7ffd4b10e2f702","datavalue":{"value":{"entity-type":"item","numeric-id":4787241,"id":"Q4787241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a8863469d38aa23b1e3ac87fda9a3f6ca6534e","datavalue":{"value":{"amount":"+0.8170201778411865","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":"Q6487366$1442DB87-4E43-4399-A123-F9B49FC48DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f4891855c320cfb3204ded5e2c13e5b04bfdc6","datavalue":{"value":{"entity-type":"item","numeric-id":4535180,"id":"Q4535180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24fac847182856b9573896025c12025aeb2f6ac5","datavalue":{"value":{"amount":"+0.8118441700935364","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":"Q6487366$887BB8D0-C09E-4881-B65A-817679B8EBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf194da3e5139b91f0e72248975037b8e824fd1","datavalue":{"value":{"entity-type":"item","numeric-id":3097968,"id":"Q3097968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d2838d050334a26c80b611ed6e9aa326e4ddf58","datavalue":{"value":{"amount":"+0.8115584850311279","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":"Q6487366$D7E14584-5E8C-4FFE-B9EF-66E74FAD3621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f0bf57245873ed04e7ca17af47b5f23528a8b3","datavalue":{"value":{"entity-type":"item","numeric-id":5712335,"id":"Q5712335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e2790c2b011e2f07720a1d52f4e3376723fede","datavalue":{"value":{"amount":"+0.8052040934562683","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":"Q6487366$775D786D-17C4-47BE-B51D-E3172E389FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f5edde9a232b3906fb6301aa6aed8316baaf56","datavalue":{"value":{"entity-type":"item","numeric-id":3152935,"id":"Q3152935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814bd49ca6d909471cfebeafb1a4f28491cc73b3","datavalue":{"value":{"amount":"+0.8009787797927856","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":"Q6487366$5658A7E6-6BDB-4B1D-8970-DC78212467CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487366","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487366"}}}}}