{"entities":{"Q3540168":{"pageid":5570072,"ns":120,"title":"Item:Q3540168","lastrevid":88351463,"modified":"2026-06-04T14:18:03Z","type":"item","id":"Q3540168","labels":{"en":{"language":"en","value":"Model Transformations in Decidability Proofs for Monadic Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369484"}},"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":"Q3540168$9513C52B-E722-4EEC-98CF-441550CFF0AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d60a42c6f4a52e4aacd4a3853eb686eb69da46a","datavalue":{"value":{"text":"Model Transformations in Decidability Proofs for Monadic Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540168$95B2F345-22B3-4957-A55F-5E314B5DB189","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adec446bf3d800f96ce97fcd0e09b2de3214d3a1","datavalue":{"value":"1157.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540168$AABF40AE-D8BA-48D1-B3F2-FC96FCA3760F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49f7c4811e9070a970ef8aaa9a917f75e675812e","datavalue":{"value":"10.1007/978-3-540-87531-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540168$11C1F43C-25EC-49E5-ADBC-65489C9B50AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540168$E3894BFF-C55B-4788-A4B1-86C741CF079A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540168$A7FD5F85-6224-47D5-9961-BCFF87CFAD7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540168$FBCE3991-B9DE-40F9-98F4-08F735ADD423","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540168$DBBF426E-F99F-4068-942C-15792FE2F0AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f575ee867f28a68b23ff1a244cf18d4a49779ad","datavalue":{"value":"5369484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540168$48268EDB-F1F3-4BB6-A6B2-9A4DF1ADEA7F","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":"Q3540168$37F743DA-5D0E-44B6-9453-052ECB54F771","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd99ba49013cd4c88e85d2f06ba20ba3e2f76fae","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87531-4_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540168$1F4577D1-EBF2-4C75-ACC4-2418BD434AF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c847e0c3971eebbc121817d185fae5b8ffeca38","datavalue":{"value":"W1530541530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540168$3B9CA538-D219-4D83-9C92-83735064085D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a50d451850ba0d9335f2c6e0530fcb392ac772","datavalue":{"value":{"entity-type":"item","numeric-id":4412839,"id":"Q4412839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540168$EFF81C06-24E3-41BA-83B7-59BAD28F79CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa16ff3648f97d5a80ca8505b4c8cd5694c9d7fe","datavalue":{"value":{"entity-type":"item","numeric-id":3086920,"id":"Q3086920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540168$F1852642-57C3-4AE1-9D2D-E62AC3E2B028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86093adba28386eb0d9d592265172f7eb4400dd5","datavalue":{"value":{"entity-type":"item","numeric-id":930912,"id":"Q930912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540168$91CFB877-E5C1-4B9F-B4DA-5C73EA27364B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540168$83820101-675E-46BD-8F7C-0BFDE93913F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31534a80c5f6cbcf58b47643db0cd9f443f15567","datavalue":{"value":{"entity-type":"item","numeric-id":4708567,"id":"Q4708567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540168$44881D54-A992-47D0-88AC-952A2D639763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f58d939e2c8c04924eebb344e56f33752fd2ca58","datavalue":{"value":{"entity-type":"item","numeric-id":4536363,"id":"Q4536363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540168$045FBB07-1887-483F-9785-0E96D6DE603D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11083a7891a407b46c4fde2eba0724fee54468a5","datavalue":{"value":{"entity-type":"item","numeric-id":671992,"id":"Q671992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540168$BBA59C2F-5A1C-4E06-84D4-EF35FA8DC81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced9f6d89d276754d685a53731ebb3ec51d3d90e","datavalue":{"value":{"entity-type":"item","numeric-id":5191510,"id":"Q5191510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540168$42B8449A-6130-44E8-9545-5A789ED19473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300c9d4d5bc271fc9055e643f0b1de194ae44b3d","datavalue":{"value":{"entity-type":"item","numeric-id":1295371,"id":"Q1295371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540168$0A0E3E3D-FD38-4A97-845E-7E0529AE1BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84c82de96fb7c7b710e84da042fa6d2d7d4ea68","datavalue":{"value":{"entity-type":"item","numeric-id":5520636,"id":"Q5520636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540168$45AD27CA-3798-4F0D-9E67-4534062B872B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540168$A86FA9A4-886D-44D1-8C3B-07C60EDCD4FF","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":"Q3540168$8E3660AE-692F-4D9F-BD4C-6A6830880E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1564a519fe0bf3a4fee6ef14a1d6320ce090b306","datavalue":{"value":{"entity-type":"item","numeric-id":3613363,"id":"Q3613363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540168$09AC59CA-C714-4A3A-B21C-06D18FBCA1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb1276268d489fa1ff9eafc75133507ef53648e","datavalue":{"value":{"entity-type":"item","numeric-id":3346281,"id":"Q3346281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540168$2614A90A-0088-4085-867E-F42D1F5BB32E","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":"Q3540168$8CE08614-34B1-44C2-B366-218B33268BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498661e57f097849360a48f48785a3868e7f1cac","datavalue":{"value":{"entity-type":"item","numeric-id":1606130,"id":"Q1606130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540168$597AFA69-BDE3-4D0E-A72B-719397ADAF51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6cf47cbb470274af9aa33e3c7d13f279a7e6dc7","datavalue":{"value":{"entity-type":"item","numeric-id":3346281,"id":"Q3346281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80ecb6d1918af4bb3371320d4dd12a60a5b4ec09","datavalue":{"value":{"amount":"+0.7950977683067322","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":"Q3540168$AE35B98F-1C7B-420D-AC08-093601B60B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec2f311e3e92cfd3aa10a05c7f5e68ec516055b","datavalue":{"value":{"entity-type":"item","numeric-id":3586024,"id":"Q3586024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53365e68c7518a1b79c9c5d6323225a55c2db23","datavalue":{"value":{"amount":"+0.755683183670044","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":"Q3540168$72251AD1-1995-47F5-A2B9-48C300539108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f260ba823a10e882882176f1e821c806ea20936b","datavalue":{"value":{"entity-type":"item","numeric-id":810005,"id":"Q810005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944fdc4f1353b71c1d9f0109f046263a8c615366","datavalue":{"value":{"amount":"+0.7543864250183105","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":"Q3540168$1320264E-2DE9-4D0B-9833-9D85C8D88C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b020f2c7b596592b3f18eb947f12edc955e693a2","datavalue":{"value":{"entity-type":"item","numeric-id":5317421,"id":"Q5317421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"505b5961a8f057e02b0446cac2ad818f0373a3dd","datavalue":{"value":{"amount":"+0.750065267086029","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":"Q3540168$E4697E47-0E83-4941-9BEA-3FEAA371A389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ea2cdf3fff99278976e36fe185bb7440400851","datavalue":{"value":{"entity-type":"item","numeric-id":4708567,"id":"Q4708567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c440c2b56bf69f1bd03a3c6fb8d4e5fc32897ec","datavalue":{"value":{"amount":"+0.7484432458877563","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":"Q3540168$D8A348A5-9AAA-473B-9798-C381DC2B0E00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model Transformations in Decidability Proofs for Monadic Theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_Transformations_in_Decidability_Proofs_for_Monadic_Theories"}}}}}