{"entities":{"Q2849561":{"pageid":2860281,"ns":120,"title":"Item:Q2849561","lastrevid":83513786,"modified":"2026-05-07T08:35:39Z","type":"item","id":"Q2849561","labels":{"en":{"language":"en","value":"Game over: the foci approach to LTL satisfiability and model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210214"}},"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":"Q2849561$37BD2090-1ED4-4CDF-99A4-D9FA96412E6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4239cf90f92551aac1fc018c098f7cc1fa0f8805","datavalue":{"value":"1272.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849561$BBE43B3E-A1B1-4C68-9A39-8630E462AD0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0eed81c4a062e3e32d4c336b2d79e33bf40324f2","datavalue":{"value":{"entity-type":"item","numeric-id":977175,"id":"Q977175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849561$0B142F41-8226-4FF3-A67F-2CA251F82711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849561$043E0AA3-5B6E-4F81-835D-B3831F713F0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-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":"Q2849561$4825F1D6-F925-4B9E-BA37-AD60283EC326","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3961d70abe0f266e9d79e223ee30b290233cefca","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104053332","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849561$5DFBB064-6BD0-4CF7-9269-90CFA20E7691","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849561$A28CD219-51EC-40AE-A76A-8442F4FACA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849561$519C6EF6-B50C-4F2E-A59A-0AA383499A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849561$91555ED4-667C-481B-945F-8EA471DB4344","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e07b3038158c4251596eb35e2add246809162de","datavalue":{"value":"6210214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849561$015219D2-BC66-4BFC-98D3-1A924927E9C9","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":"Q2849561$00B5978F-0060-46A3-A6AC-9969F4407FC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d7669aeef04a21f1cc826811bc4c190136890e7","datavalue":{"value":{"text":"Game over: the foci approach to LTL satisfiability and model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849561$D37AE073-7540-4507-AC98-E11CCB30A368","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7196fbf2afa17348c8b503ccf4edad10882036aa","datavalue":{"value":{"entity-type":"item","numeric-id":3146304,"id":"Q3146304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681b57a2a6448ef897bacea05c777cc7b4f1a030","datavalue":{"value":{"amount":"+0.8323038220405579","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":"Q2849561$41F915C3-A592-47DA-BD47-24BB5038C298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8f60320e03a3256f254d68a867ebd034ab9dc7","datavalue":{"value":{"entity-type":"item","numeric-id":2851673,"id":"Q2851673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71576b3e54d856a8974bd152023542237936dac3","datavalue":{"value":{"amount":"+0.8206532597541809","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":"Q2849561$E20539DB-06F0-4DF0-8623-67950994FCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73c92afb6227210f735138699b2d9861918a158","datavalue":{"value":{"entity-type":"item","numeric-id":3159405,"id":"Q3159405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61ccd0d9054ae7f8e9f5f6bd9c2b89f05908c550","datavalue":{"value":{"amount":"+0.816713273525238","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":"Q2849561$26228B01-6B03-46F0-AC4D-5E0E92627CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fa45a9da1d4ae2f9194ee3699c7b4638d400830","datavalue":{"value":{"entity-type":"item","numeric-id":5900562,"id":"Q5900562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea7f9901a247c29eb2db425b6467d4662cd4d54","datavalue":{"value":{"amount":"+0.7768813371658325","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":"Q2849561$70E433FD-AAE7-4322-9CD3-4A6A2AEA7100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4528fc1117a9ea3ee248f84fdf749257495eaadc","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce83f49da0d5f9520395ec9642560c1d4c09d998","datavalue":{"value":{"amount":"+0.7612535357475281","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":"Q2849561$6E7D5472-0A67-4E0A-A8F1-4DA602FBED76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Game over: the foci approach to LTL satisfiability and model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Game_over:_the_foci_approach_to_LTL_satisfiability_and_model_checking"}}}}}