{"entities":{"Q3460413":{"pageid":5239813,"ns":120,"title":"Item:Q3460413","lastrevid":87230081,"modified":"2026-06-04T11:09:33Z","type":"item","id":"Q3460413","labels":{"en":{"language":"en","value":"FO model checking of interval graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527403"}},"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":"Q3460413$B1B843EF-3C00-465F-8464-B2DE5BEFB09D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08b640f68dd540aed6fabb2885a1bf84f3988887","datavalue":{"value":{"text":"FO Model Checking of Interval Graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460413$2DF3D031-36B7-4E65-B394-CFB5E1B21818","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c1ece3eb9bc7600ab0dfa74169c3b1548082f8e","datavalue":{"value":"1448.68299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460413$BD1F2F5C-BB6D-40FA-AB16-6BC650EE6ACF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20cd2317b852179ab3f2fac1781c7b8dd9ec0025","datavalue":{"value":"10.2168/LMCS-11(4:11)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460413$61311293-7FCD-463F-8AAE-56A7030C57F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20032bcc84344d7c9c68c7fbf55beb604aad0a5e","datavalue":{"value":{"entity-type":"item","numeric-id":395001,"id":"Q395001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460413$52095A1A-9F6D-4FE2-9E9B-8C4742CA3374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f97addcae0de185068af846d9968c1df864cbf3","datavalue":{"value":{"entity-type":"item","numeric-id":175586,"id":"Q175586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460413$89EEE536-C4A7-4318-B2D7-E6582BF293C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eaf352a32aa38da3c724a04881fe6df68b2c948","datavalue":{"value":{"entity-type":"item","numeric-id":281931,"id":"Q281931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460413$BE9519D2-FB8A-43CA-9C6C-A8F34C4DA138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5744293ca1d261576f6ac7b03fc6a9a847fffa0","datavalue":{"value":{"entity-type":"item","numeric-id":398886,"id":"Q398886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460413$AE8D0939-8B1C-4AA3-8557-81123B3C81AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96f2c612f73a4e28c2072d3fbda0de781cdf37bf","datavalue":{"value":{"entity-type":"item","numeric-id":432723,"id":"Q432723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460413$8B5B7DDF-D18B-46BF-B928-4DA016203AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53427ddbb10f2ef6b2b23d5d0945110660ad7953","datavalue":{"value":{"entity-type":"item","numeric-id":273100,"id":"Q273100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460413$072343EF-966C-43FE-A568-F38D28964607","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460413$4BB2AF09-633A-4598-8D52-46CE8D25817E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ee4b5b4fe49e6c76e054339063b302c9f6ef1f6","datavalue":{"value":{"time":"+2016-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460413$13600FB6-E30F-4F58-937E-A15C2C761B5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460413$81B59432-B721-4B6D-8EE4-5A72E835CA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460413$CDF8EDA9-ACEF-4E47-97E0-E480C7EBE72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460413$BBEEF710-0615-467F-B9FD-15D58987C896","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64f2e018b191ac1eb3f7653350bc404df7abd2fa","datavalue":{"value":"6527403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460413$0C3A21B0-D7D8-458E-9B68-6397E7BE7314","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"913e1233aff4201fd8c81521f3700216d84a6d83","datavalue":{"value":"first-order model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460413$DF5B0F54-4BB7-430F-83C2-A1D34AF86559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460413$12C8B6C2-276E-44D0-8364-A31CF77F6B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a949c568749d2f4337e1772be827516d5211abc","datavalue":{"value":"interval graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460413$83BDA3C8-E0BC-41DA-B8F3-34441A06D384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb03826ecb9d862c3a8c13a3c8eb36c4bc27ecd","datavalue":{"value":"clique-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460413$F25DABC4-251B-4564-AC93-1503294D33DA","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":"Q3460413$20965D5C-BB01-456B-AAB0-E3F0469435AE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6f6bb8b212250b7f7bf94ee09f5f972d70737bba","datavalue":{"value":"Q57601330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460413$2E569FD6-8E9A-4B8B-B8BB-E377EC5B9664","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc1ce5d5a835dee736de84acb2356532a7f128a3","datavalue":{"value":"https://doi.org/10.2168/lmcs-11(4:11)2015","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460413$3AA38116-F687-4D70-A246-F9089C00E529","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"292bb744a6898b28acb9c0cdee4799f3e4bcc5ef","datavalue":{"value":"W2398186705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460413$B1E3FD79-5A6C-480D-B2B4-97C2C1A434B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9aafafeffcb987d30dd3a59de5e904823afbb4","datavalue":{"value":{"entity-type":"item","numeric-id":5327438,"id":"Q5327438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3995a30451a26ec680e8b25551528f065254bfe3","datavalue":{"value":{"amount":"+0.9875938892364502","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":"Q3460413$A4CADD0A-A96D-40D7-9F39-0EA6CC6DCB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40f3a440684dbb9cf6fab766ada1e483fde5be3","datavalue":{"value":{"entity-type":"item","numeric-id":491160,"id":"Q491160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ec15a02b4da7a406ff69fe24f63efeabf765a3","datavalue":{"value":{"amount":"+0.7650630474090576","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":"Q3460413$B6ABAC69-609C-435B-91CE-3AE24DFC311C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1266979b6d6c7e4b4153d199e7a88f9e264bebfb","datavalue":{"value":{"entity-type":"item","numeric-id":1631773,"id":"Q1631773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a4368b495f7a493185586828a4da5a1de3b04e8","datavalue":{"value":{"amount":"+0.753494918346405","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":"Q3460413$D76D1F95-981E-46CF-A102-10056B8BE65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e91db50d8967498b48b951b5bf46347fa6a08a29","datavalue":{"value":{"entity-type":"item","numeric-id":5111878,"id":"Q5111878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fdad3962d9878e3d0c3382d4b549752e44fda8c","datavalue":{"value":{"amount":"+0.7520720362663269","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":"Q3460413$D641CD91-DF50-44E1-930B-DCF785E57767","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FO model checking of interval graphs","badges":[]}}}}}