{"entities":{"Q5111878":{"pageid":7141452,"ns":120,"title":"Item:Q5111878","lastrevid":55955623,"modified":"2026-02-21T12:04:11Z","type":"item","id":"Q5111878","labels":{"en":{"language":"en","value":"FO model checking of geometric graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205203"}},"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":"Q5111878$E996B101-424B-4FF1-9A93-D944C663BFCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30e3580f36703eeb84917582b6e7857510b15c6a","datavalue":{"value":"1443.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111878$9DA52AA7-0771-49C1-B640-67746C0FB57F","rank":"normal"}],"P16":[{"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":"Q5111878$11A28005-3CB3-496A-9B4B-2F25D1D7941A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15404bc914f6eb5b9a88f8501a03dc5c40fe5118","datavalue":{"value":{"entity-type":"item","numeric-id":1631772,"id":"Q1631772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$C96113D3-CD53-4992-9456-310437F4B821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa3a423df08280c4a54889ab713653e67c318cb4","datavalue":{"value":{"entity-type":"item","numeric-id":779180,"id":"Q779180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$3A430B22-0F36-49BE-9727-E5DCA4334BC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111878$767225EC-E498-4AE1-9BEF-034C449678B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111878$B711F6F7-2C93-4B66-9177-9B5A94E1A05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111878$FE34CC0E-F718-4301-AFBF-9A6ADA02E15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"82e8efd6e51c28a954a2ab0c3ccebf86d2ac5eb3","datavalue":{"value":"05C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111878$7BB0A824-0DC5-4478-9145-D08928FFEF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111878$01ECF363-0318-4064-A836-DD07ABB001C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111878$2B0A6372-EAE8-4388-ABC9-31DC86AFAFFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"571504d084df8e313ada2c3af481c492ef244871","datavalue":{"value":"7205203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111878$BFDE9A39-9CB6-451C-AF5B-8E891D5A639A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111878$50F1744A-EE98-4053-8CA2-A30837FF63D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111878$B8D3E5A7-1E43-4F81-B191-6393721C2982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1520de8379415749656b1e95045c660d5b7f1330","datavalue":{"value":"fixed-parameter tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111878$ED43C6B8-350A-4251-86C4-088DA7D62C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f8eba8c9d529f212c848e074f37e4d66acf3cf","datavalue":{"value":"intersection graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111878$5A7A33F2-4D1A-47B1-9C07-B52341D778D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcef134ea1c22ebb62922a7093a6e4b805d26252","datavalue":{"value":"visibility graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111878$D0ED1CD2-1E80-4027-8E52-3277FFC73B03","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":"Q5111878$E3E8B767-4591-422F-BA69-1326A3359A3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b01feb212a3afc89a4d95dc95ece34614827ee","datavalue":{"value":{"entity-type":"item","numeric-id":2441640,"id":"Q2441640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$EA07D8CC-5CD7-44C7-B1B2-E4BF4906074A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e47a0fa915188f04a24fd7a456a8daa72efcc19","datavalue":{"value":{"entity-type":"item","numeric-id":1116953,"id":"Q1116953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$9ABE295E-3375-47FB-AD8D-822EA67FF247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a381dce4100bafc346fa18a9f4f26641825a6e","datavalue":{"value":{"entity-type":"item","numeric-id":1384186,"id":"Q1384186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$3233100C-842B-4E66-946F-1C9BC3889CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fe56184955dbba620e4cb94dc309dfe37fcc19","datavalue":{"value":{"entity-type":"item","numeric-id":1974445,"id":"Q1974445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$6FA44FA1-DB64-4461-A916-2F669A6DF66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ccbb66f253e8aabe9f774ba9414f12634b864d","datavalue":{"value":{"entity-type":"item","numeric-id":383833,"id":"Q383833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$B93B7355-1F8A-4C63-BA87-BD47E355B17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3d5352adf00d3ba6c6280f75a2382719f6f5022","datavalue":{"value":{"entity-type":"item","numeric-id":4217593,"id":"Q4217593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$C52A4AE1-A82C-4479-94E5-785792082194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176c53477486a9855adf59342421dd7212f7e825","datavalue":{"value":{"entity-type":"item","numeric-id":5959557,"id":"Q5959557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$3E83FFEE-7B48-4D2A-A459-FDA4876651F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea79ffe3a076af8b924158860accd261638c485","datavalue":{"value":{"entity-type":"item","numeric-id":3196630,"id":"Q3196630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$D16C84FE-C6CE-4F74-9381-B0CB15DB5AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac96f90a43b08b2106c4f949bb1b59910ea3567","datavalue":{"value":{"entity-type":"item","numeric-id":5892117,"id":"Q5892117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$A7D975D3-3F97-42A9-ACDB-EEA8EC28A274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c253a2617ff51031b5bb6ba98d971dd2844e9b28","datavalue":{"value":{"entity-type":"item","numeric-id":3460413,"id":"Q3460413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$27353F28-76E3-49C5-86E6-773E0A6306C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a1f5875b55db99ec84f2ef2c3c0cada8c8273f","datavalue":{"value":{"entity-type":"item","numeric-id":5444161,"id":"Q5444161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$65DD1E15-5F75-4DF0-A4F8-BD25B6358C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2bb73749e82ba1791033e0676db2e9ecf4098c","datavalue":{"value":{"entity-type":"item","numeric-id":686142,"id":"Q686142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$570B4CA0-42B4-42AB-BB15-4381CBF78DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d74a9ba9c35f2ddb6e3813b3564a508614ed6ca","datavalue":{"value":{"entity-type":"item","numeric-id":2466015,"id":"Q2466015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$918ECEC8-512A-4757-A0E2-8A9CEC33727E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae54ae8082b9170139b5fc0446794648cce64a2","datavalue":{"value":{"entity-type":"item","numeric-id":476868,"id":"Q476868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$1DDA4C99-1114-4743-827A-285784F8F436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d49e2be7496685742f7fd11d5566d4598d00dd9","datavalue":{"value":{"entity-type":"item","numeric-id":5475855,"id":"Q5475855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$87EE2BE7-F3E5-4AB3-B1B0-F4AED3D6B179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532913c7fa476dacf38d08303d2efc9d6b0e929e","datavalue":{"value":{"entity-type":"item","numeric-id":1939654,"id":"Q1939654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$F1311E10-454A-45EA-A5E2-978ECABA9D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4383147b538b8da4a22b0212287afbd41a7d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1424251,"id":"Q1424251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$BA0477B3-C4B5-4C53-91DD-2B138D823377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75892efb8c423df4e08c3a2522f9c8641bb850b","datavalue":{"value":{"entity-type":"item","numeric-id":3799261,"id":"Q3799261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$3EB9C277-1DFD-4AB5-89C8-8B7C1CE79F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"147043b699458bdb6af35631312a51a6952fa481","datavalue":{"value":{"entity-type":"item","numeric-id":5284545,"id":"Q5284545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$0A416747-DFAB-4ECD-B131-74C2B2D918B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f575abb6ebc4078236ed705e236dd49f4a7554c7","datavalue":{"value":{"entity-type":"item","numeric-id":1122366,"id":"Q1122366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$B88AA3B0-E23C-49B1-947C-3281FC1EE105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f316bda1db96a4382c7a9143b182e390b18612","datavalue":{"value":{"entity-type":"item","numeric-id":3663349,"id":"Q3663349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111878$6F4C8063-016F-4D9A-A21A-0921C595E21F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c3be593e6032c2d8d5d5296a7b574172d799d80","datavalue":{"value":"10.4230/LIPICS.IPEC.2017.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111878$1F3D3E71-F523-43EA-8781-19A9F512583C","rank":"normal"}],"P1643":[{"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":"8d0948a918344e0c669bc84c043cc6dfb4f0855b","datavalue":{"value":{"amount":"+0.9967375993728638","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":"Q5111878$8A11A736-105D-4A95-BEEA-6681DE62DB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f0e96ec480ea9705a2e3afbbf53f09f9e62ebf2","datavalue":{"value":{"entity-type":"item","numeric-id":5111174,"id":"Q5111174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfa4b246a631391991b31dcdf2f2e93ae4bc0ada","datavalue":{"value":{"amount":"+0.8129860162734985","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":"Q5111878$75EA5CF0-F654-4D1D-AAB7-1B9EAC807C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eafee2e0235a66e0615d0301a5370d217e1ef857","datavalue":{"value":{"entity-type":"item","numeric-id":1679973,"id":"Q1679973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de38f57d2af4d5d64abc779f2e470596f2334841","datavalue":{"value":{"amount":"+0.8001269102096558","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":"Q5111878$DA0D0359-D54C-448F-8D3A-38120C50697D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111878","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111878"}}}}}