{"entities":{"Q3498476":{"pageid":5528379,"ns":120,"title":"Item:Q3498476","lastrevid":50357924,"modified":"2026-01-13T21:32:45Z","type":"item","id":"Q3498476","labels":{"en":{"language":"en","value":"On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275852"}},"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":"Q3498476$E6B8B104-1504-4150-BAA7-A16714D65D57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5993cff825063b80f74a04b9bc4d6f80183122ee","datavalue":{"value":{"text":"On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498476$36F52A8D-2F60-4674-BFD1-8B67ECA62743","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"279f82f3e3dec3ee46f5869c91b0277b58492b4a","datavalue":{"value":"1137.03316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498476$9E75C59E-F5CB-42A5-8D6D-3841893AD818","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0956e83249e19985a525cde3e83248c546688ab","datavalue":{"value":"10.1007/978-3-540-75560-9_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498476$96AEE871-B9A0-4883-9671-D11992DAB2F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd410d92a5a623419be489b4cef5a0bf226c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":859826,"id":"Q859826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498476$057D3AF4-F4C3-4E56-A808-64DB35CC6A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad52f3622bd4915d7c3f60cddd347bada6821c98","datavalue":{"value":{"entity-type":"item","numeric-id":1877097,"id":"Q1877097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498476$1D81CC59-6F95-457B-A6FF-9133BC1C4AA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498476$192A90CC-458A-4519-B1F2-EBEBDC1738E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498476$C267AE64-1758-4C24-8785-FD9C05916EE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498476$A46A75E5-A0AF-4C46-8C14-F62FB0E68C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498476$5F43A4B8-543C-4BB6-9274-F2F2A49FE862","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc7886c2eea8df91aac4483ee613ebfb93063082","datavalue":{"value":"5275852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498476$ACC75A40-19D5-4B46-B31C-70BE73EADBDE","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":"Q3498476$A1A30304-9364-40C7-838C-84CEDD60DD96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4cb7b9bfe8303b4e15f21689061fbc50da1674d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75560-9_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498476$BF7A7F27-8AA5-464B-8CD6-FE0EC6CF031C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a99db4c4957d0131c7c0e1322bec2d0c67d1d5af","datavalue":{"value":"W1498542449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498476$9BA525FC-50D0-4CEF-9941-DC939F2BA94D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77491896a3cc64e9bab3085033bf204e59b583c","datavalue":{"value":{"entity-type":"item","numeric-id":4608732,"id":"Q4608732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b719281db03941ec3f48f2ba1d15c953803a55c","datavalue":{"value":{"amount":"+0.955750584602356","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":"Q3498476$43088777-5C41-462A-945F-157754758902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b4a14426ac6b7b8f739f1c1c2b1a563fd18abba","datavalue":{"value":{"entity-type":"item","numeric-id":5387847,"id":"Q5387847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9120f227077f5d8f7bf3ee9263edb7ddaa6d4c3b","datavalue":{"value":{"amount":"+0.896844744682312","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":"Q3498476$A351714F-1DC6-4076-B23D-DEECC6797BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87c03b79209577b2c94f45c64f215ad1f3e86f7a","datavalue":{"value":{"entity-type":"item","numeric-id":5394585,"id":"Q5394585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0638d11e94eedc1ee3f8a5d184e07f1a14addd24","datavalue":{"value":{"amount":"+0.8623887300491333","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":"Q3498476$56F48F82-B908-47B5-8029-1578FC5CBFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73248f8ca2b31c8bea463bcc40cc29f9c8d11c74","datavalue":{"value":{"entity-type":"item","numeric-id":1877098,"id":"Q1877098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082843332d3834e2f46864314d176bf72375d68e","datavalue":{"value":{"amount":"+0.859446108341217","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":"Q3498476$9677CA01-E6D6-4FD6-8F5D-006348CB748E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2df8fc644dc9b502943a6ca664ead660e75bbf","datavalue":{"value":{"entity-type":"item","numeric-id":4417866,"id":"Q4417866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"797856f2d4af8f811bb16760edafd58c3def761b","datavalue":{"value":{"amount":"+0.8362078666687012","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":"Q3498476$FED5247D-5091-4C2C-A826-5A62B94BA6BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498476","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498476"}}}}}