{"entities":{"Q2567341":{"pageid":2578084,"ns":120,"title":"Item:Q2567341","lastrevid":48563698,"modified":"2026-01-05T05:47:31Z","type":"item","id":"Q2567341","labels":{"en":{"language":"en","value":"Guards, bounds, and generalized semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2211681"}},"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":"Q2567341$F4CB666D-B0AC-46FE-9E86-135FF869CBE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fc37d38e9340ea1594b4265df85ce13cd886e0e","datavalue":{"value":{"text":"Guards, bounds, and generalized semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2567341$8574B5B2-973A-452B-A655-A54AD6D306FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00dd4c9fd447bd4f65affbd9f9f5d9c053caa5d1","datavalue":{"value":"1080.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567341$F6F224A6-7EF0-44DB-8244-190A9B6A02E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567341$46C5E599-6C60-438D-9AEA-73A9715FD78C","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":"Q2567341$6CE4D035-8D3C-4C9C-90A5-9F77F9AD1556","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":"Q2567341$1308B476-659B-4EB8-9410-09251977E5AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567341$8453094E-A224-4838-907D-5D9C8C0DC29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567341$D1A4958E-83B3-47A1-9532-2D2B54CAFA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567341$F928861A-1555-4FDF-A10A-75EF6B6A88FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"352b5b7d25e450b289850ea1a6767407b73d88e0","datavalue":{"value":"2211681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567341$8188799D-C191-45FA-8B9B-B6D9735C73C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6adb3375356c6ee3503c328130015c13622190e","datavalue":{"value":"fixed-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2567341$D971EAD5-F958-4C2A-B540-C9C5E28FB05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22783caa2c56a94bd6a05e18dbb4b0d14bddb299","datavalue":{"value":"Guarded Fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2567341$B2379A5B-79D3-4A8F-8360-52F3F7FB2717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2567341$F9F3D999-422E-45EA-A768-3E0D8B099186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15d616e216dace5c90a8059f9572ab4fc0f8e202","datavalue":{"value":"general assignment models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2567341$96A94700-39B7-4593-8EEC-E7BA860798A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70368760bf17bad81b5e63f6c14709dd817793ab","datavalue":{"value":"guarded syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2567341$686F4FA9-F5D3-42AF-88D4-F9B15540E473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a64bc548367068c5349e7595fce3c27bb4a633","datavalue":{"value":"effective axiomatizability in second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2567341$9CDDD0C9-5AEB-462A-8AD6-CE20C5C1D357","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":"Q2567341$675A7086-999F-48F1-A6B5-1534B92A4209","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bf11d3639dc2d6ac488f05eb0a322e2228b1d5e","datavalue":{"value":"https://doi.org/10.1007/s10849-005-5786-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2567341$73A5652E-520B-4669-BB3D-2B3A02E087F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfe73ce46245fae683374fefd6d6501868e781c4","datavalue":{"value":"W2162343864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567341$66F904A7-20E8-4047-B48F-B8641BDF35F6","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":"Q2567341$CF8C16C5-F2CF-44EC-A594-606F796662A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96bd74e89d5f58966b2ca1e9b67d91549ec49b41","datavalue":{"value":{"entity-type":"item","numeric-id":4254632,"id":"Q4254632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567341$73076D7F-49D0-4968-840A-A4381BF03B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2853a1afff2fa52921b6bce366d86931777cc23b","datavalue":{"value":{"entity-type":"item","numeric-id":5544276,"id":"Q5544276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567341$85B10E2C-D791-4162-B405-11A8A4AE42B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a37d29fb9a13dd0adf7b60fdab02712c4f1fcb7","datavalue":{"value":{"entity-type":"item","numeric-id":4263155,"id":"Q4263155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567341$CB03A686-CCB5-4D97-8DCE-91242B3064EC","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":"Q2567341$5E7CC4DD-E367-48C5-9B52-F84D3FEFA9D3","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":"Q2567341$831DB618-126D-4C6B-BFEA-27D05895F39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea7d04264f836aa2d721203df321b179b695bc9","datavalue":{"value":{"entity-type":"item","numeric-id":4938431,"id":"Q4938431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567341$561C103E-BE1F-4DF5-8AEF-7833DACB4E16","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":"Q2567341$AF694045-C3F7-4A76-8191-B23C09C91711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3974284559d6b6f2be3ab3c4458f037ae07bef","datavalue":{"value":{"entity-type":"item","numeric-id":1379287,"id":"Q1379287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567341$1DE7FCF6-54C3-4764-A00B-BCC54A13C6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49eb071380334d25322d7936424989d3a4730873","datavalue":{"value":{"entity-type":"item","numeric-id":2549690,"id":"Q2549690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567341$B3B29E28-B28A-4EFE-9173-605264A34577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b20677f3904d8d35f6e14c991e5ae71d9e15d11","datavalue":{"value":{"entity-type":"item","numeric-id":4724630,"id":"Q4724630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567341$E7F0D60B-C9F1-44BE-84AF-9029A151528A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e74a687711aa5be425bf85c7212fda84bd1475","datavalue":{"value":{"entity-type":"item","numeric-id":4873975,"id":"Q4873975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567341$1FEB3DA1-2D9A-434F-B110-C8150326D490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bce762d420fa92eb43e36c7521f950637eea35f","datavalue":{"value":{"entity-type":"item","numeric-id":4349288,"id":"Q4349288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567341$A6B633FF-01EC-4209-A0BF-1B6EBE44148A","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":"Q2567341$33759FCB-B473-4C7A-A8AC-89B7DD277CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2b2b4b4f1a92baf1f6a56d683fcf7f04e7ec66","datavalue":{"value":{"entity-type":"item","numeric-id":3318752,"id":"Q3318752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567341$5C5C4075-3833-48E1-843C-7F8C9735BB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9901d04699ac491802ad94220f58b6d4804096cc","datavalue":{"value":{"entity-type":"item","numeric-id":4349287,"id":"Q4349287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567341$62A465B8-ED36-456E-82F9-6EBA0E66D82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772b2382f4add161c3830c55f431a966343e4cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3122692,"id":"Q3122692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567341$D382821A-7BF9-478C-89B1-91F1F2B6E58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1410f7c403cff6686ad959910255a0ef6fa5d95","datavalue":{"value":{"entity-type":"item","numeric-id":4531586,"id":"Q4531586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567341$B04C6804-2732-4001-A488-464BE2743234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6412bd1e0d3816b966fe12430e4e4b430d89d00","datavalue":{"value":{"entity-type":"item","numeric-id":4329234,"id":"Q4329234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567341$DA81DBB8-EA41-4AAF-B727-0ACF7B4B1261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9784f0b5b1e69bb83368467e8ad61c7ce436931b","datavalue":{"value":{"entity-type":"item","numeric-id":1314283,"id":"Q1314283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567341$ADC38C06-3C20-4845-B747-06661235338C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a9422f7e4e4d4556a45bc9de4a575dbf6201a36","datavalue":{"value":"10.1007/S10849-005-5786-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567341$1BD63562-5234-48EC-A53F-6182D8FA268E","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":"c8517fd47fdeffbcddb126ed4aa4c0b803200ed9","datavalue":{"value":{"amount":"+0.8457836508750916","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":"Q2567341$05B907D7-CA81-47D2-91EB-5A949904E9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6cd1c0f25dd0342adf67d97d4fd01ece315ad29","datavalue":{"value":{"entity-type":"item","numeric-id":5892612,"id":"Q5892612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3caa85b5101d8e53df62c5a23a2191c2cf63a8d9","datavalue":{"value":{"amount":"+0.8112610578536987","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":"Q2567341$19D5D4C4-C731-4F7F-B16C-437177F83769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c26a15eb0b947bf49662a2112338c07dfca5a15","datavalue":{"value":{"entity-type":"item","numeric-id":5890544,"id":"Q5890544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c546a70d1c505d801d0ca9691a3d724c139e2d","datavalue":{"value":{"amount":"+0.8093744516372681","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":"Q2567341$2CA50EDA-85DD-4347-8BD1-B4DC0705CDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacbc1696578e74951632106c423907bfba23299","datavalue":{"value":{"entity-type":"item","numeric-id":4263155,"id":"Q4263155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea5a9ebe11367e092ebff6f3dc73edf497950eef","datavalue":{"value":{"amount":"+0.8065449595451355","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":"Q2567341$D3E02075-9CFC-48D5-A954-B714E1012B82","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":"ea5a9ebe11367e092ebff6f3dc73edf497950eef","datavalue":{"value":{"amount":"+0.8065449595451355","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":"Q2567341$6CE5B18B-88B3-4031-9603-1FAE8C588AC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2567341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2567341"}}}}}