{"entities":{"Q2567342":{"pageid":2578085,"ns":120,"title":"Item:Q2567342","lastrevid":48563701,"modified":"2026-01-05T05:47:31Z","type":"item","id":"Q2567342","labels":{"en":{"language":"en","value":"Guarded fragments with constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2211682"}},"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":"Q2567342$FBC1CA78-4ADE-4ABD-A9D5-ABCDD3F951DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c2edf8d3fe8b07fedb9d2bb784b7e9867368206","datavalue":{"value":{"text":"Guarded fragments with constants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2567342$16B0D2DE-6AF5-4615-AC3F-11641C82AB57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a036daabc0c66357d5adf1cfd7f0ddf3b037b82","datavalue":{"value":"1080.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567342$9493DB64-213C-4175-8C56-F010A1BF5438","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a531f2e925d43508482b1d4b7ad4f917bc51fb11","datavalue":{"value":{"entity-type":"item","numeric-id":269314,"id":"Q269314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567342$A4751DCC-9609-4DD0-82A9-D134455DFEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e21accf81aab1e604fd47457545997cb4d57c1ae","datavalue":{"value":{"entity-type":"item","numeric-id":1768797,"id":"Q1768797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567342$97BA95D8-E80A-40B2-B76E-37112EA72EC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567342$0BA706E7-03FF-4171-BACD-572F8F9AEA01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b603c86410fe658d427579de04e3032a0442b94","datavalue":{"value":{"time":"+2005-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2567342$754ED2C0-780A-42C9-8242-A967090025EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567342$9A1BB772-E027-4B84-8E0F-59BE250E67D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567342$8B376623-B654-4FC6-AED9-47643CDD12AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567342$76D8EE25-5C53-4C01-8B4C-468DBE4EA05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567342$34A765DD-28FE-45D0-9310-F76932645587","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75ab090c201efaf50b0158218d208630974ee571","datavalue":{"value":"2211682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567342$4510478E-0023-4F6A-8D16-DE5C90B75B0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cacea7dcf4d7bc803743d9b6041adf255334bb","datavalue":{"value":"guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2567342$388EE568-1880-4B68-A39F-19B6A639E2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2567342$7AE3CD8C-158E-4B12-8BC2-3E291C6080A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2567342$86C5C5B6-1093-4274-A9DA-E5620D11A573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2567342$422E4924-A43D-4F51-A206-BA725A4F20D1","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":"Q2567342$D9306CEB-44F8-4FA9-8986-65318E12A6A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2af82bb31991abe7d15042c3b80c3f6a0e281cc9","datavalue":{"value":"https://doi.org/10.1007/s10849-005-5787-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2567342$5E5D1133-BAA1-4A3F-8C8D-BA257C9AFC76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f35f619fcaadfa7d819f13e67666b33d7d49f6a","datavalue":{"value":"W2086015611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567342$351555D5-4E2D-45F2-B621-53756B85330E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567342$538A497B-F5DD-4075-8222-CAB1393D21F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e2e89c3486a2c9d067a01dcc011ff74bd361e","datavalue":{"value":{"entity-type":"item","numeric-id":4487266,"id":"Q4487266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567342$866D5970-5B5C-4F4B-8232-15CAEB0ACE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567342$0B389AF6-AB3C-4F2C-BB24-72B907D11919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567342$2BF09132-26F1-465D-85BC-67D0CB0CCF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62772f0959fb566245035bd3efe50ab27fc6d316","datavalue":{"value":{"entity-type":"item","numeric-id":1604801,"id":"Q1604801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567342$21B8E648-9536-4224-A858-8694CD02C246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c4adddfa0642af7ec889dad9b165cd64487515","datavalue":{"value":{"entity-type":"item","numeric-id":5939956,"id":"Q5939956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567342$24232278-819E-4EA1-892E-3FC13A82AED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94335b6198a4660e05410711e1402e65450c3673","datavalue":{"value":{"entity-type":"item","numeric-id":3370762,"id":"Q3370762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567342$328C9415-8A5D-4C85-9ABE-7DEB240D9A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e5a1ca169a3805429a135449fcce9a36647215f","datavalue":{"value":{"entity-type":"item","numeric-id":2567342,"id":"Q2567342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567342$2A7537F0-627A-4565-81EF-049FA800DF82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3ec1ed8a6137e6f6e06f9bc2ca3da40632e70b1","datavalue":{"value":"10.1007/S10849-005-5787-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567342$1A0BAB88-B138-4AD0-9ABF-00CDAA42E607","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3701d79943fc0924f0b20184354686f01463779","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337560fed288c45aca58c21f6a8dbc36c8fa38b8","datavalue":{"value":{"amount":"+0.8490139245986938","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":"Q2567342$BF21D528-1713-4DB6-BF18-13172873DC6D","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":"0f24304163f7139e40796b89c582546765d8860b","datavalue":{"value":{"amount":"+0.7858209609985352","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":"Q2567342$F224DFA3-39D6-43AB-BBB6-AE271D09F410","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":"b4794fb4c1f8d46e2f4b35ccd0a0477e91c1bb99","datavalue":{"value":{"amount":"+0.7819945812225342","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":"Q2567342$B9459C8B-1792-4EE5-8FAB-6E4FF56D78A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6082bc3ba95c3a2ccea6252215475f7e1f3973f8","datavalue":{"value":{"entity-type":"item","numeric-id":2576942,"id":"Q2576942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"120a352061e0baa69ef8e508ebd1de546a2a35d9","datavalue":{"value":{"amount":"+0.7675657868385315","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":"Q2567342$C4CFAEA5-DCEA-4A20-8E2B-90242B389306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59127b84627d93776ac99a559e39d19e81aa1b47","datavalue":{"value":{"entity-type":"item","numeric-id":2567341,"id":"Q2567341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af6a63dde08eb9e79a3f2429e285083eb18d3a78","datavalue":{"value":{"amount":"+0.765882134437561","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":"Q2567342$23E652D6-664E-4EBC-8B8D-F6A5AF257FA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2567342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2567342"}}}}}