{"entities":{"Q2946629":{"pageid":2957349,"ns":120,"title":"Item:Q2946629","lastrevid":52347230,"modified":"2026-01-22T10:11:29Z","type":"item","id":"Q2946629","labels":{"en":{"language":"en","value":"Monadic second order logic on graphs with local cardinality constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483137"}},"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":"Q2946629$3173BD22-C6D6-48F1-8D87-842E43E70F6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"befe7b3aa5e50136bbafef5d53fba899b9ea6cc3","datavalue":{"value":{"text":"Monadic second order logic on graphs with local cardinality constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946629$AAB42D6E-D774-40B4-ACF2-5AD0F8BD7864","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72106dff97c9d8cc5598bfb45203768923291fea","datavalue":{"value":"1351.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946629$FD7E7C84-49A0-416A-AF28-B5F6C4A2982D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c97474f7200581c79f5e006ccf7ed77779612a0e","datavalue":{"value":"10.1145/1877714.1877718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946629$4AC87568-CC63-476B-BC30-3984097E57C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946629$5C3DA743-107F-4006-9CCC-CBEFBD6545A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946629$4CF539E8-BD04-47E3-B832-F773E31B0A6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946629$E4141993-AC8B-4CB0-B946-BAE8E2227DFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946629$9013193C-7741-4225-A2F2-F0F3E2CC8A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946629$28931186-FEEF-49BC-A3CA-B716FC0C0094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946629$342011D9-63C8-4E93-8F7F-CB985C6A68FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946629$2B348DD7-77F4-447E-B827-AD1C1A395BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946629$FFA05B6C-010A-455C-B20E-A24FEB149876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946629$D86876F6-25BD-4647-9777-487C547880D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"515e7610ae1b9c4cf91a7d19530eaf1668d6f215","datavalue":{"value":"6483137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946629$C2DC6354-7870-4D12-BFB9-EEB459EC71D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64030b24ed4e85bc1c34cde624ba1f6adb26fca0","datavalue":{"value":"MSO model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946629$55AEE46F-7510-475E-A1EC-1DC69209581B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d5e4886aa4290eca104cd0d1da319d8b4d34c4","datavalue":{"value":"NP-hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946629$AEB12AB1-BA3B-4100-AE8C-6A2ADC24D41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d04d7f9cc15c119b9b9d6d638f8f61fb3b9bfbd3","datavalue":{"value":"W[1]-hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946629$D3CC3014-1C79-4DE7-9166-41FF991AB1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9ea69f98993ec8c397b4afcc0cf69fb524db51","datavalue":{"value":"cardinality constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946629$A578FBB5-55BB-4233-9B54-BDC8E7C55F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57d68ed777850433efcc3de197edd817953ef26","datavalue":{"value":"treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946629$02DD5004-423C-4FF8-91F2-D39ECCD5E1CB","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":"Q2946629$31703EFF-028E-4A49-B7AD-2176515D7267","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"533517d5a65381d3ef58c3dae115a81f9c04e811","datavalue":{"value":"https://doi.org/10.1145/1877714.1877718","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946629$29E07ED6-A1D5-4D08-A636-A03B4013B648","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"699ed5c419c10eaefaa2f66002cab8414620d0c3","datavalue":{"value":"W2026493143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946629$E35FB945-2945-4585-9FA6-E5F890BABCE7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"49811cb79835566f99235d73f2c25132ac053ed0","datavalue":{"value":"Q130877241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946629$B79F49FF-AF90-4150-BE15-0A3CD6C76E71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18128022a604dfd93980011aa33683b1da49a3f6","datavalue":{"value":{"entity-type":"item","numeric-id":3599161,"id":"Q3599161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77efdca44247e5e374ecac6f93b88373375bc2bb","datavalue":{"value":{"amount":"+0.9251857995986938","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":"Q2946629$C4A06CFE-E9C0-4544-800F-E68BDDF358AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0484ff3313696f091f74b2cfbf7e639410dcf90a","datavalue":{"value":{"entity-type":"item","numeric-id":2870025,"id":"Q2870025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a788e63031b698bdb99ea2ebfc8800b96e734ec","datavalue":{"value":{"amount":"+0.8010276556015015","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":"Q2946629$2ECBF285-9707-4134-AB03-7DC14F7AD6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f4d376753527b20650f49488486818867a7138","datavalue":{"value":{"entity-type":"item","numeric-id":858683,"id":"Q858683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd8b5277ded5d1eaa7581f5ad16f46cc31c7b127","datavalue":{"value":{"amount":"+0.7928833365440369","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":"Q2946629$255E0E2A-8A48-4ABE-86BD-59B25717ECF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb96603e49e11e63d1e7c3446d0e75700abd6998","datavalue":{"value":{"entity-type":"item","numeric-id":884481,"id":"Q884481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af036954b4820c117c74d953fbd453a3545408b7","datavalue":{"value":{"amount":"+0.7906458377838135","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":"Q2946629$812F4935-98F3-4C1C-8C1B-0CCE29000554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a13a271734cc151a40fb348359a096ee2a27c7d","datavalue":{"value":{"entity-type":"item","numeric-id":3812222,"id":"Q3812222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9173469a6f7abb148b9b7d5cc07f7b3eba3f07b8","datavalue":{"value":{"amount":"+0.7873284220695496","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":"Q2946629$00D46BAF-CA66-463D-8E50-0E792424059F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946629"}}}}}