{"entities":{"Q3146251":{"pageid":3156967,"ns":120,"title":"Item:Q3146251","lastrevid":45547999,"modified":"2025-12-10T12:58:23Z","type":"item","id":"Q3146251","labels":{"en":{"language":"en","value":"Fusion in relational structures and the verification of monadic second-order properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1799480"}},"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":"Q3146251$A0B3A02E-D645-4021-9A3F-2A9EE247B1C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3104be2278b17eab1faab9be2b67fac585b4a9c4","datavalue":{"value":{"text":"Fusion in relational structures and the verification of monadic second-order properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3146251$AAE30B0F-4230-497C-9043-EF78F22A8F80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c7f010cdb9c88cc808416a1c14d6d3fced61b5f","datavalue":{"value":"1005.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146251$ADABA041-FEF9-49AB-99C7-52F07DDF23AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dcf131e85e6bfaefbab6e250ecabdb925a631d6","datavalue":{"value":"10.1017/S0960129501003565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146251$1083089C-F456-4D9A-9F57-F6119FDF7996","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146251$5049882D-3B41-4F9A-9A16-1258BD31630E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c9f84701e0c4849f03d0b9256647bbbcf5227cb","datavalue":{"value":{"time":"+2002-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3146251$7CA1A0EE-0E8F-4509-AFB7-63E4297C2B97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146251$148E750F-DCAA-40B5-87B7-8112F4853564","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e734198764af51a1ae7414e1da9f60f5c12cb35","datavalue":{"value":"1799480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146251$608AA06C-162F-4171-A541-CDFD0498A260","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d462273539198dc7f8786254f46d66d0d7c9b2cc","datavalue":{"value":"vertex replacement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146251$A0391C5B-28D3-4361-A6D2-1E38D90C14DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a72bbc19035e8f83294690d062a6fe610f428b76","datavalue":{"value":"hyperedge replacement context-free graph grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146251$068E1E6C-9FBD-403A-B509-19F7487E8174","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ead6a624fee23dc1dc37cfe2dcec3766470899","datavalue":{"value":{"entity-type":"item","numeric-id":452475,"id":"Q452475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146251$F9B25A30-B0E1-47B2-95FF-DC699CD2BC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"084bbbb4df82d594477fd68358151d484447708c","datavalue":{"value":{"entity-type":"item","numeric-id":6482121,"id":"Q6482121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146251$540BC219-D8E4-49BB-A037-08B74F14A949","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":"Q3146251$6BA01DC1-079C-45D8-9FE7-7F9EE6D14584","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d486ba7d8fd01682853904d1dd16458433c8ebce","datavalue":{"value":{"entity-type":"item","numeric-id":4474837,"id":"Q4474837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c719c53021209f5600260f9308e582375093276e","datavalue":{"value":{"amount":"+0.8815486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3146251$D8248530-BDAD-4D7C-A2F4-99009029ED14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3639b2965d16e020aa6299f37609bcf19803df9e","datavalue":{"value":{"entity-type":"item","numeric-id":4993769,"id":"Q4993769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22768ff81eb0c2ac9d0341debcabd253db0e07c4","datavalue":{"value":{"amount":"+0.8802115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3146251$3A6C3A52-B430-4276-B962-FEDB57ECF69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3523bbfd69c25f4378970fae3afc5c0010522466","datavalue":{"value":{"entity-type":"item","numeric-id":3585001,"id":"Q3585001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f957ba27c877ec3e064960abc26ab11b3a0c40b0","datavalue":{"value":{"amount":"+0.8776507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3146251$EA9CFF99-2A2B-4F47-A4AF-B8F8F306913B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f534039a509046f80dc64553ee35d9c662daa574","datavalue":{"value":{"entity-type":"item","numeric-id":3455775,"id":"Q3455775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6d2a5baa1fe7d3b3c6f10c9bd8b6b342965c1d7","datavalue":{"value":{"amount":"+0.8691578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3146251$769C9C4E-5FEA-40AF-9A13-62798A70159A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44fa4333d787e6ca0dee89d9c722f8a043fad199","datavalue":{"value":{"entity-type":"item","numeric-id":4635817,"id":"Q4635817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ad2c4bd9e20525ce4dff89aa65e2cf4899937b","datavalue":{"value":{"amount":"+0.8682307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3146251$26695BA9-9970-4A65-AA7C-73B452853785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19dad84702d8c67612f34da105a0f3fde2bc5502","datavalue":{"value":{"entity-type":"item","numeric-id":4923546,"id":"Q4923546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6be55107448b6679d284ca110d010d1fa2a573","datavalue":{"value":{"amount":"+0.86778337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3146251$08B9A297-6881-476B-A48B-C7FF7378B3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a564069e267b514ca61fa4871b9e75c56cd967ed","datavalue":{"value":{"entity-type":"item","numeric-id":3631904,"id":"Q3631904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c738b436b170419a587d91911b02d6a4300a58a","datavalue":{"value":{"amount":"+0.86755514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3146251$6565FECC-1806-48CA-949B-041DFC7A4C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebab15fefa9052ee8e0a87abbd366278e5c12f8","datavalue":{"value":{"entity-type":"item","numeric-id":4362731,"id":"Q4362731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdebc1e11fc055ba85924525a92a52233b02024d","datavalue":{"value":{"amount":"+0.8664714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3146251$84801DEF-36A0-4C08-936E-674E4511F014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91022e9178a1fe8f54724eef76647b85356a3d2a","datavalue":{"value":{"entity-type":"item","numeric-id":1295371,"id":"Q1295371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6acd1d8650ca9221c33d53a9726cf9a5dcf69d","datavalue":{"value":{"amount":"+0.86545604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3146251$D1E65160-D924-446B-811A-88564752CAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2901b80a3861a943f3a33853d277185d4bf0b18f","datavalue":{"value":{"entity-type":"item","numeric-id":2986804,"id":"Q2986804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917f8bbc8734167b1df1bc83109b80bd57be5881","datavalue":{"value":{"amount":"+0.86515474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3146251$B5BEE862-746A-4427-8F1F-FDCA1AFAB913","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3146251","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3146251"}}}}}