{"entities":{"Q5327438":{"pageid":7357012,"ns":120,"title":"Item:Q5327438","lastrevid":100779653,"modified":"2026-06-05T23:05:35Z","type":"item","id":"Q5327438","labels":{"en":{"language":"en","value":"FO model checking of interval graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196336"}},"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":"Q5327438$52F214B6-B7A8-4BF3-94B4-0D9884E98C5B","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":"Q5327438$35CFB34A-F07C-4B8B-B2DE-FA96EAA5903B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"638a84ee0744bcaf3a5ba6b81778894ad2c74220","datavalue":{"value":"1334.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327438$7C8198A7-E9ED-4A91-ABC4-0C9B85E56F08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"711021bc321c4669b41e56b688cbcf8ebcb90282","datavalue":{"value":"10.1007/978-3-642-39212-2_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327438$EDC86A39-F9DA-40C1-A37E-CAC40015DE98","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":"Q5327438$6734829E-CE0F-4A36-A069-AE227F5ECA76","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":"Q5327438$7097640C-5B53-421E-B9BF-55131A2FDA15","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":"Q5327438$C4CB61A6-38C7-469E-AC7F-BC5E853B97E0","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":"Q5327438$54DA47DF-E574-4974-B694-7568853CF093","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":"Q5327438$3A77D873-F9DD-4DD9-A1A3-0DF211678C7C","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":"Q5327438$F0B1CBB4-E3AD-403D-B3E3-67088127918B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327438$A8DA5C0E-F0A5-4599-B7D3-76512A1F8322","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-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":"Q5327438$674331BF-FBFD-49B5-B6EE-7624D25EC08F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0aec72699dd8cb06677170cd3ddc563601013fb","datavalue":{"value":"https://arxiv.org/abs/1302.6043","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327438$15CDA955-3DFF-42FC-96FD-9F1787B954EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327438$CFD15112-655E-4AFD-9CAF-DA2A90F6D8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327438$D0ED8A81-A8FC-4D7A-BF9B-0E231BCBC760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327438$7362172B-456D-467E-AB7D-BB7D91EDAA1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a31a9f54df7c4ce6b60da63339683ed562b0c22b","datavalue":{"value":"6196336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327438$55A78AF9-A668-4CD3-BB2D-D79CC5FCD4A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261ae0ec2a144ec2e3be1d324f46a983b7626475","datavalue":{"value":"FO model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327438$4BE9D3FD-3422-4457-A852-76B80B8DB353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327438$C1B66B96-CC9E-4ED5-9E02-C2D222820B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a949c568749d2f4337e1772be827516d5211abc","datavalue":{"value":"interval graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327438$DC00F186-683A-41A3-9F5B-7BA5782BF731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb03826ecb9d862c3a8c13a3c8eb36c4bc27ecd","datavalue":{"value":"clique-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327438$16B2A386-63C5-4985-98CA-8391D3C303A0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0cf209437e746624aacfd6c3aa944db743a905a2","datavalue":{"value":"Q57601354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327438$10CBA533-AD12-4433-B50E-B023241EDA48","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":"Q5327438$FD3255F1-06DB-4AF7-8DE2-2B6291C65958","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66eafac7f419265bd6d930cd8df87155a91aacbf","datavalue":{"value":"W1672478516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327438$850C753C-F2D0-4542-9F36-5730E773D842","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"321b32224f00f472721fb73729f3e0e4458b27ae","datavalue":{"value":"conf/icalp/GanianHKOST13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327438$7964DB15-8ED9-42E1-A81B-FB0E86C91273","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"958e98d1820256a98fe63045b8988143c64976c1","datavalue":{"value":{"entity-type":"item","numeric-id":3460413,"id":"Q3460413"},"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":"Q5327438$874F7FA1-2C1D-4E4E-853C-2E4DFD3848BB","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":"6dbcb3a1b07dcc2ac6475bbf5e6a6f981d93f8c1","datavalue":{"value":{"amount":"+0.7871421575546265","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":"Q5327438$DE74D5C6-674F-451B-A729-020742BEA0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab38539e2694654e319de9db0e859a3de4ae272","datavalue":{"value":{"entity-type":"item","numeric-id":4909568,"id":"Q4909568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4862514fe7edeeceb7af11f508c4fba690332e98","datavalue":{"value":{"amount":"+0.7695813775062561","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":"Q5327438$A868755C-7996-457C-B484-771672DFB52F","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":"90bb0660c849b5e49c0746340f90a805b350ee8f","datavalue":{"value":{"amount":"+0.7514861226081848","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":"Q5327438$81D18D97-4DDD-46C2-AFEE-A877E29348AC","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":"7cd1522254495a594def7a11ad12844429caf1bf","datavalue":{"value":{"amount":"+0.7499197125434875","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":"Q5327438$8C7145B4-7C68-439C-97BA-472D6EBDF571","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FO model checking of interval graphs (scientific article; zbMATH DE number 6196336)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FO_model_checking_of_interval_graphs_(scientific_article;_zbMATH_DE_number_6196336)"}}}}}