{"entities":{"Q671992":{"pageid":673841,"ns":120,"title":"Item:Q671992","lastrevid":63451980,"modified":"2026-04-11T13:15:41Z","type":"item","id":"Q671992","labels":{"en":{"language":"en","value":"The monadic second-order logic of graphs. IX: Machines and their behaviours"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984714"}},"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":"Q671992$FE511CE6-AD5C-441F-9597-EFEA3EE32BEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3999cb985de8291a934b3945eeaa33c4f300f421","datavalue":{"value":{"text":"The monadic second-order logic of graphs. IX: Machines and their behaviours","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671992$9A953A59-2646-4F7D-BA06-9E5B759905D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06393e793b912edd6b0a71764f3ade0d32147173","datavalue":{"value":"0872.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671992$F39DE066-FF01-4C1B-94B3-5BC4E5C41B79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9413d69651583b270c7697272555b598b82c25b","datavalue":{"value":"10.1016/0304-3975(95)00049-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671992$CF0982F7-A68D-4848-8BD0-58C6E59C2191","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$7660F450-93E0-41C2-8158-CA454D1C1C95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-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":"Q671992$CB3F444A-4A5E-49C9-9564-592417765F95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671992$F910EE7D-421F-4A5B-880E-5A69B7EC881B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671992$AD786BBA-4731-4A8B-A2E6-5A2E6E4E2D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671992$153FC049-AC1D-4BE2-B462-B9B8E40E55C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671992$184BD982-2D87-4D4F-AEE0-60A108D3A1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671992$EA40648D-D967-4526-9A76-3D5E371EDBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671992$1D59C688-5E52-4FA0-9FFD-0ED01B9EE5FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df2d6ec91c141961a48102027bf6784e2202b04b","datavalue":{"value":"984714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671992$F0F8D63F-150A-4898-B4BA-10B380C90E67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea82e73cb2f5e56a652f61b295f0d63b61f6b5a2","datavalue":{"value":"monadic second-order property of the behaviour of a machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q671992$7A203DB7-D2B6-446A-B7D3-305E73AB7D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f63543f2b4f2f301e84f1d25648f1886f6fd6a","datavalue":{"value":"dynamic properties of machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q671992$EDEF52B2-8358-46FC-BB4F-28B4CF76D65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e44e42513b26a59184cacf664e3c7a983897fa14","datavalue":{"value":"static properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q671992$AC522E57-7500-4F4C-9CC0-E144FB86DAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q671992$D344B569-7745-431F-AA98-01347E77BAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82b0259b50aa9b852b7c8dfcd15b322f85a4cc54","datavalue":{"value":"monadic theory of an algebraic tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q671992$E8925847-3E44-49FA-8550-9E61A984130D","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":"Q671992$FF68A9C8-98CA-4A49-BDBB-C9904326634D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1bbf51c53fcfdd32302b2ec5a2c2c12a698a037","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00049-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q671992$3A0A32E4-5DD2-42A1-A778-B34C0D7EE33F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d7fe53e308135e6db66ab815aa9df9a3dfdb83c","datavalue":{"value":"W2020520119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671992$5C7E0978-CC9F-4441-B4D0-8234B5F06AF0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4861ad6b832bac12a95a11f6298cd74a8cad1bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$74F9A8E6-69FE-4E1F-86C9-9916E0C70B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8caa258152596951f3aed3546536f53bb4ec18","datavalue":{"value":{"entity-type":"item","numeric-id":4273664,"id":"Q4273664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$1D33BA7E-6452-41AD-B5CB-50B1794E6D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f527d72b96c9481541844d5a6ff6f3274415d596","datavalue":{"value":{"entity-type":"item","numeric-id":1137390,"id":"Q1137390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$498A16DD-9F55-40F0-8AF6-09FFF1E65C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$984CB193-AE57-4805-B937-43A4112F279A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de0c47aac54d255781a3e64af689d25e678b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1098322,"id":"Q1098322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$92C22DF2-542C-426B-B20F-632ED4676AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b0c517836cf032c1bf576504acdb0ab7ca579ec","datavalue":{"value":{"entity-type":"item","numeric-id":3470112,"id":"Q3470112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$22C783D7-6148-4223-B58C-FE7CB507E638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$C96AD63A-9E3C-494C-8817-78E76DD0BF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3b4de8d89b00a7dd5c22f3f89f122e07de0983","datavalue":{"value":{"entity-type":"item","numeric-id":807611,"id":"Q807611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$A5CA18D0-C612-40A3-AF3E-943A5BB715B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aba5833662215ee6a49861d05418334754b27cf","datavalue":{"value":{"entity-type":"item","numeric-id":1366538,"id":"Q1366538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$2A5F1D26-581E-425C-9A31-3736D2A95987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e65180487d55de678beff9f15b2f64281465aaf","datavalue":{"value":{"entity-type":"item","numeric-id":1325847,"id":"Q1325847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$47CED49D-5B85-49E8-BFE2-05C34A44E96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e6a970ef833d1f16c56166519e7e5cabfc785e","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$36FEA1C5-6EF5-4743-959E-7D75073450B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$378064B3-7C09-4FEB-A702-7B3837EC1E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b34ec055dfa573ea259d47cfbe64e339db138a4","datavalue":{"value":{"entity-type":"item","numeric-id":1163372,"id":"Q1163372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$1544075B-7139-48E2-AF86-3FDBBA1AB634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$1C818AAD-8952-49EF-8C64-D27B331E5322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"970a6a3feae9d45f8269510e98d0c4c3a340ba74","datavalue":{"value":{"entity-type":"item","numeric-id":5536635,"id":"Q5536635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$A347E7D4-EF62-4596-ADBD-1922B47B3BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46986697e9a2591d83bd32b37bbe4daa491a8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3730012,"id":"Q3730012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$E0FCE34E-0B2F-4CE5-B51D-8A2995461FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c7b85d7065db0b8fe399a7e7a611f4f79c7bd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5586299,"id":"Q5586299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$8021D4D7-EC15-4B87-A670-6E8064788834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$C1109A1E-20F9-4B9F-B739-20BC3E8A8511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"452cbeebbcb523130e42ab08d1693abf380edfde","datavalue":{"value":{"entity-type":"item","numeric-id":4036584,"id":"Q4036584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671992$FB5EF2BD-D126-431F-8E8B-308A419AB5ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ab45fcbfff02fcaeb53a69b8f323eea5d1ca1a","datavalue":{"value":{"entity-type":"item","numeric-id":3618564,"id":"Q3618564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9adefbfc9f48417cab6a56030918a96428a1adee","datavalue":{"value":{"amount":"+0.93448156","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":"Q671992$AAB8E6BF-9652-4FEA-9209-AAC841A10DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c6b2d615de905b00b92becff6d557958a739e7","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05abbb6239caa128ec414bc1dc52a9df1b73bb90","datavalue":{"value":{"amount":"+0.9247446","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":"Q671992$E953FF41-84EC-47B8-BBC9-C2B7954AEEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0614bdd6d6ccd03d2d581a4f7e8ab1df5124243","datavalue":{"value":{"entity-type":"item","numeric-id":1193407,"id":"Q1193407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9e18b3e35d8cf24f1855d7e2f4c7248c187516e","datavalue":{"value":{"amount":"+0.9216332","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":"Q671992$7FC63D40-FD32-40D9-BDDE-74F5E03C49E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e163f9ad9294411ecfd741e4f90c326e23bc40","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed937ea0727b8c9ec960ff59df3b79403e83124e","datavalue":{"value":{"amount":"+0.91907275","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":"Q671992$58B5613C-F0BA-4105-983E-1E836FFC8E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0874f4d378d1f6c708033223e30b475e8fd431b3","datavalue":{"value":{"entity-type":"item","numeric-id":1336623,"id":"Q1336623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af583d205585fa1819c281fb875ea37bb1ffbbff","datavalue":{"value":{"amount":"+0.9186816","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":"Q671992$A1BE54C3-D675-4719-8A56-EF2B345D012A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e554673c340adaa7b1373bddfbc9a81c58a03035","datavalue":{"value":{"entity-type":"item","numeric-id":2767003,"id":"Q2767003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e4adcfacc3ddd2024b78ab50ae85b64c999cd3","datavalue":{"value":{"amount":"+0.91767496","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":"Q671992$C281C58A-D52A-4972-B701-1219DDBED188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"257756a4ea2b901dca40a7a0c2bb1baaea81696e","datavalue":{"value":{"entity-type":"item","numeric-id":3521904,"id":"Q3521904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7e20fca281fb37ecc9ef948cb9ca575b17c1e61","datavalue":{"value":{"amount":"+0.9164356","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":"Q671992$A9B84803-BCB2-49CB-9A22-C76C578991D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a9da734080354050da04ac53f4a5fab0132651","datavalue":{"value":{"entity-type":"item","numeric-id":807611,"id":"Q807611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcbab661a2296d028ebbc219b152e3842efa29bf","datavalue":{"value":{"amount":"+0.91595954","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":"Q671992$145B78FC-B9B1-466E-AF50-CA86A4346AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e683b67c78f208796f3e4da7fa8baf2fdac28317","datavalue":{"value":{"entity-type":"item","numeric-id":2494727,"id":"Q2494727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6fafe6844566e3025b8e8a5cc7608d72f9f216","datavalue":{"value":{"amount":"+0.9149777","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":"Q671992$2EAD9EB9-7D4B-4D41-9D71-DA8B5E1554FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a253a604f1792d6d577f19021ddef2e80988d51a","datavalue":{"value":{"entity-type":"item","numeric-id":1960417,"id":"Q1960417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b48cbde497a61707edcf33ba9c5d34b57221b7","datavalue":{"value":{"amount":"+0.91477346","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":"Q671992$5BB1F256-A4A0-40C1-8EE5-48794426E4BA","rank":"normal"}],"P16":[{"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":"Q671992$ADF2528F-C40C-4993-B720-1A682836908C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The monadic second-order logic of graphs. IX: Machines and their behaviours","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_monadic_second-order_logic_of_graphs._IX:_Machines_and_their_behaviours"}}}}}