{"entities":{"Q6060107":{"pageid":13194262,"ns":120,"title":"Item:Q6060107","lastrevid":55507186,"modified":"2026-02-17T17:53:55Z","type":"item","id":"Q6060107","labels":{"en":{"language":"en","value":"On the decidability of a fragment of preferential LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7760489"}},"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":"Q6060107$D50E3BD8-26C9-47FA-936F-B10351FC26E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14cf22a61cca687660400a7797cd5439320e0c44","datavalue":{"value":"1530.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060107$332E67A6-7A7B-4DD5-813A-0DA7B92AC0E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dc7f3bc6da8c307a0406147b6d9a3f9fb0ea2df","datavalue":{"value":{"entity-type":"item","numeric-id":6060105,"id":"Q6060105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060107$27E52082-C939-4413-960B-DB85D0FC9379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"542c8b19de27250ae7f403063f9b5a3adc9d9be2","datavalue":{"value":{"entity-type":"item","numeric-id":6060106,"id":"Q6060106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060107$66FB721C-CE6A-443B-A297-FDEA44D848F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39a3b234061e9ad946bff17721002250e5444ea3","datavalue":{"value":{"entity-type":"item","numeric-id":262130,"id":"Q262130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060107$7DEBAC13-050E-491B-844E-67BA09DE8AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecdaacd6970e3d9780b4251e78dc7b1c7553fe00","datavalue":{"value":{"entity-type":"item","numeric-id":1028965,"id":"Q1028965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060107$19CEF5C5-A976-4DA5-B899-9F88C9855C69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7998a4700485ee1c911c6376847a8ba8998b55e1","datavalue":{"value":{"time":"+2023-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6060107$7FC3FE3C-43FD-415E-A1C9-5662A0F20F1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060107$16E8DFA2-FEF1-42BC-A19D-4F772F2E6260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060107$B1032A57-7497-4701-B98E-513CD198DAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060107$CA5489AF-5250-473E-8B87-FDDB4928CB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060107$1569A68A-5E4D-4E78-BA88-1A8510265B2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8bc4d541cc3e30913d256271a548245d919c3b7","datavalue":{"value":"7760489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060107$375FB630-A2BB-47C3-87A6-9A6EAA2D14E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6060107$F5B06FB1-1482-40BB-A351-EF4EE7388669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ad898fce43911ca55eb5ed942bac1dbc1b2a14","datavalue":{"value":"non-monotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6060107$6213D880-07B6-4609-9E10-2380F7EF2616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6060107$FD7F64D9-D219-4E51-9BA6-DCE0573DB10B","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":"Q6060107$8CF035FA-4025-4B9C-BE8A-18C954313AD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db6e49234b21e9e1e922fa70157acf0a16687b22","datavalue":{"value":{"entity-type":"item","numeric-id":4952020,"id":"Q4952020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060107$BFF85E14-5D9F-4201-85D1-4475C6CFDBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95f5e5a42b14858827b86e355a072cbbd1bdb099","datavalue":{"value":{"entity-type":"item","numeric-id":2894076,"id":"Q2894076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060107$E03955B3-C288-4F8B-8DA0-F792E5E1CE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94be62b68fcd8125814272842fe62abc75e69b93","datavalue":{"value":{"entity-type":"item","numeric-id":2825407,"id":"Q2825407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060107$36967ACD-18A7-4F34-814C-5E020DB3AAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0018a653a7b189df8abc197466b19ab7f9f744e","datavalue":{"value":{"entity-type":"item","numeric-id":5375876,"id":"Q5375876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060107$41756B11-A4D6-4B70-9053-34E17E1BA279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe2dc640b8ae3ba9c1ad3ba0a9279b00fa9b6ee","datavalue":{"value":{"entity-type":"item","numeric-id":2180505,"id":"Q2180505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060107$F5A14100-3178-46BB-B24B-590DA952A4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b34ba705e389fe9c4dd2c4054287e15a051942","datavalue":{"value":{"entity-type":"item","numeric-id":3703316,"id":"Q3703316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060107$A96D83FB-A409-4C3D-99C0-80907643A304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8efc962eca723eea2dbcfb3a9c6c889585e708","datavalue":{"value":{"entity-type":"item","numeric-id":3498470,"id":"Q3498470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060107$BC16A9CD-927C-44CC-A795-C40B0579DE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ac5f8dd2f42cfc43dfbfca6edcf0d5da942e88","datavalue":{"value":{"entity-type":"item","numeric-id":2946576,"id":"Q2946576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060107$8411AEC7-BDB6-4EFD-8E74-1E7ADC0DA04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060107$91478F83-B0B7-495B-9E1F-B377A2E8428F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afd98104d250e8b263d6c8890f1ce8f19074b45","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060107$867505B1-CD36-46BC-B5E1-3ADAF6EDE80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c95330e5a182089d4fa0aaec0b4ddd9be3f1ae3","datavalue":{"value":{"entity-type":"item","numeric-id":813424,"id":"Q813424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060107$BB8AF579-8586-4711-9376-1569E1D7D7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060107$7884F864-B4A7-44C2-AEEB-A651EB8021FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060107$244EFA1D-2872-4AE9-BCD1-1C826EB5E020","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93698414a8e9355f70c2894332ff34947a088176","datavalue":{"value":"10.4230/LIPICS.TIME.2020.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060107$12F9B4CE-9501-48AA-A94E-B34430AF0EC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d182b67e00110335f1973d0ea19d914f293c2551","datavalue":{"value":{"entity-type":"item","numeric-id":6080283,"id":"Q6080283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1744c3c4b38725f3521441b131cf11308e5104","datavalue":{"value":{"amount":"+0.7376570701599121","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":"Q6060107$D963A938-F66F-459F-BADF-A5C797178956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67548bb33c036b1ea08167a45930689755f850d3","datavalue":{"value":{"entity-type":"item","numeric-id":2851821,"id":"Q2851821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6d96d200f541250d58050b1aed1d4b6c93f5487","datavalue":{"value":{"amount":"+0.7309216260910034","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":"Q6060107$97BFAF69-2184-47DA-A9A1-26B6D638F991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1fc3872488c88524b9e2db44b16001d6c6339a","datavalue":{"value":{"entity-type":"item","numeric-id":2893321,"id":"Q2893321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fefef977235838f4aef203843a8480f24c85751","datavalue":{"value":{"amount":"+0.7263566255569458","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":"Q6060107$262FB3C9-73D5-400A-A38A-314692106614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebb10538b8ae5c4d926035aa87c89ea03ab65d2","datavalue":{"value":{"entity-type":"item","numeric-id":5505583,"id":"Q5505583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae4ce9bac08f52e9ccfe7718e579c801c309b79f","datavalue":{"value":{"amount":"+0.7257931232452393","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":"Q6060107$75A52775-A293-4005-B51D-36851B9DA8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e59872f683cfba1ac285ff4193f1669feffbb57e","datavalue":{"value":{"entity-type":"item","numeric-id":4518431,"id":"Q4518431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b71563c1c4cfc8577cacae4ae48d95471c8a9298","datavalue":{"value":{"amount":"+0.7204508781433105","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":"Q6060107$2DCDEA37-EDDE-412D-8C9B-4C398B316825","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6060107","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6060107"}}}}}