{"entities":{"Q807611":{"pageid":809459,"ns":120,"title":"Item:Q807611","lastrevid":64484028,"modified":"2026-04-11T20:11:12Z","type":"item","id":"Q807611","labels":{"en":{"language":"en","value":"The monadic second-order logic of graphs. IV: Definability properties of equational graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4208049"}},"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":"Q807611$0A536BE5-2E61-4CBB-82DC-F70ECAF7DFB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c60269922d64730df72765e17cc3c07e6c44724d","datavalue":{"value":{"text":"The monadic second-order logic of graphs. IV: Definability properties of equational graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q807611$5F4C260A-E982-4FEE-BEBF-22C62617AA37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5117cce5e32af8b48ee3d0031ac2b946a080c54f","datavalue":{"value":"0731.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807611$3978AE8F-533C-4622-8D97-919BBE5E9185","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec614a48a06e54a73b6d1ff9fd5d127c88cc70ed","datavalue":{"value":"10.1016/0168-0072(90)90027-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807611$00841D9D-CAF3-4B68-B735-172B8CBC1BC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807611$516FBF45-9851-4B7C-AE16-183DD7387D02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q807611$DC777B98-39F9-4C8D-AB72-48AB909F4D5B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c583337cd5490b1f8f1b5982af25681995233bf3","datavalue":{"value":"This paper continues the author's study of the monadic second-order logic of countable graphs [see Inf. Comput. 85, No.1, 12-75 (1990; Zbl 0722.03008); Math. Syst. Theory 21, No.4, 187-221 (1989; Zbl 0694.68043)]. It is shown that every equational graph can be characterized, up to isomorphism, by a formula of monadic second-order logic. It follows that the isomorphism of two equational graphs is decidable. The author also establishes that a graph specified in an equational graph by monadic second-order formulas is equational.","type":"string"},"datatype":"string"},"type":"statement","id":"Q807611$7CB9CB49-1A51-4285-BABD-1C071C7E94FF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d8a223071fe2fd8762483ef53ce76dd67517481d","datavalue":{"value":{"entity-type":"item","numeric-id":807610,"id":"Q807610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807611$81FF778C-149C-4C42-AA95-DC282098CA6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807611$5FB05958-A662-4B98-B389-545B1E655C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807611$4550CD65-C637-481B-9F10-12E347A4A37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807611$E1861E77-735A-4057-A1F5-65A25028BEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807611$E13930BF-127A-403A-A112-D93AA33EE07D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71ee51c8de88b5eaf4365c003efdaa0c9112713e","datavalue":{"value":"4208049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807611$259D600F-7C13-4B10-9F1E-0F6DC60D9B83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb86abaedd02e2ec7d1a8d450eb50da709f2fa91","datavalue":{"value":"monadic second-order logic of countable graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q807611$35241C9D-D8D8-4FC0-8A20-D3EBBF74CB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"444c3680e37a55a91bf03ec47e9c3acc33731f3a","datavalue":{"value":"equational graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q807611$DEBAEC33-74D2-4B3E-95A1-DAF661804E52","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":"Q807611$2F0D57C3-FA56-4913-889D-663F8FB07771","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69870d0e01af12e6cce5f02dfec8095aa44e8838","datavalue":{"value":{"entity-type":"item","numeric-id":1134211,"id":"Q1134211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807611$BE87FBB5-2DB7-4383-B80C-7D7164AEE1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fbbe8174a2c14ec3b978323f0f4642ee560f224","datavalue":{"value":{"entity-type":"item","numeric-id":1814126,"id":"Q1814126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807611$420D5A89-528E-4624-BB6C-C04F064450EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be3970bbeb5763bd476ec3ae32dc6811c75f4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3782818,"id":"Q3782818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807611$DC65B551-B91A-4E9B-B0D4-B4F5E8D3F06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807611$C3D07270-2A88-4B62-B05D-11F57110F719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be27978c3a4bb100378019f7b702eaca9386491e","datavalue":{"value":{"entity-type":"item","numeric-id":3703289,"id":"Q3703289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807611$FA16030E-D89B-4A06-8BFD-DBBC9AB038D7","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":"Q807611$BF1D5404-1E51-4D81-BFB6-161CF62A2F1C","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":"Q807611$0C225C1A-71A7-4DF1-AD14-87635E418237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9848b4fd1ef75a2a4ab651bfd989bf0b5b966f9","datavalue":{"value":{"entity-type":"item","numeric-id":1102759,"id":"Q1102759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807611$8C472B37-C915-4598-A565-7AFE4B829C0F","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":"Q807611$FD5F9A2A-A104-4D88-85C9-867365229F09","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":"Q807611$AA3C0441-7A2B-418A-80EA-DC30EB943810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b0768a48a3af6a2344c40720d67b58bb50a5bd","datavalue":{"value":{"entity-type":"item","numeric-id":1176232,"id":"Q1176232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807611$E47CBDA0-2F16-4A8F-A681-14E00D8AB68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3057af5a1af0350171fd6b2b79a79b332e0f350b","datavalue":{"value":{"entity-type":"item","numeric-id":4385531,"id":"Q4385531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807611$31EF7B6B-478E-4B7E-AA66-C851F81C16B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807611$158EB7CF-8526-48F2-96B3-F3CDBDC2D334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e1e7990d1f1904b1034a2731e332147efe257","datavalue":{"value":{"entity-type":"item","numeric-id":5616162,"id":"Q5616162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807611$13C836E7-DFCD-4728-A974-6CFFB420C412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75292f6880dd3275361618ebb07df15f46377e02","datavalue":{"value":{"entity-type":"item","numeric-id":4074888,"id":"Q4074888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807611$B04BF450-16CD-4ECB-90CA-5BF2D33CB27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4e6ac9e1911a647970e50420a37fc3d6cd38f0","datavalue":{"value":{"entity-type":"item","numeric-id":3220637,"id":"Q3220637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807611$E1910C99-F91D-4434-8BE5-091CF995D438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807611$B08A29CA-A43A-4245-8E97-50E4D13C7D25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df2c87303c75995c2bc991c0a2d812bf1500897e","datavalue":{"value":"https://doi.org/10.1016/0168-0072(90)90027-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q807611$64E542F5-3FD8-4283-A44A-93B2C7B03AB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4f0ea15a98caad660dcfd3d7b735a38e1f842fe","datavalue":{"value":"W1480506611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807611$6B327DA3-E8E4-45BD-A699-C1819B4BEB5A","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":"Q807611$9321F210-E4C5-44ED-9C16-4C98888BD997","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5627fb6c8e32ffd26bfa8c90e6de7d5acbca5f3a","datavalue":{"value":{"entity-type":"item","numeric-id":4205068,"id":"Q4205068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"301b215316c34dd640b43a84504fcc8e2fbfe052","datavalue":{"value":{"amount":"+0.9231123328208924","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":"Q807611$ECE1B255-0522-4B14-B9FC-72ECE29BA27D","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":"9c41dee48f794c8c0b8357f8496cf9c16a6df6de","datavalue":{"value":{"amount":"+0.8640821576118469","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":"Q807611$E58FC1FD-698D-412E-A464-24789A097D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b72cdfe8b5111c2cf6f1728198b2c88193579c","datavalue":{"value":{"entity-type":"item","numeric-id":3470112,"id":"Q3470112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0162b05987a712379d5acc8527293ad6908db51f","datavalue":{"value":{"amount":"+0.8387935161590576","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":"Q807611$832031E5-5F43-415B-9BA2-8B0AAFDBE2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25f50ac2695503531a7e4ebffafa590cf6d48c2","datavalue":{"value":{"entity-type":"item","numeric-id":1177179,"id":"Q1177179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d29d3191380a7b2af1e2259444a76c57037ec71b","datavalue":{"value":{"amount":"+0.8245702981948853","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":"Q807611$9D006334-2D74-4012-AE25-B80EE79CA813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a880c1bc42388924996f20675543ced28b51950a","datavalue":{"value":{"entity-type":"item","numeric-id":1176232,"id":"Q1176232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54000c353ed7e521128e0a5e23328cd41ad1d1f4","datavalue":{"value":{"amount":"+0.8235456943511963","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":"Q807611$4079C954-C2E1-416C-A904-FCABDBFD0909","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The monadic second-order logic of graphs. IV: Definability properties of equational graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_monadic_second-order_logic_of_graphs._IV:_Definability_properties_of_equational_graphs"}}}}}