{"entities":{"Q3563101":{"pageid":5593005,"ns":120,"title":"Item:Q3563101","lastrevid":58211706,"modified":"2026-04-04T06:18:15Z","type":"item","id":"Q3563101","labels":{"en":{"language":"en","value":"Grounding FO and FO(ID) with bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5713985"}},"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":"Q3563101$B8ABD0FC-6EF0-43A0-9760-349CBDDB4764","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a77aa04025cf36c305dbbd1e3c45e2167a03341c","datavalue":{"value":{"text":"Grounding FO and FO(ID) with Bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3563101$6EF2505A-A7F7-45A0-BD11-15ACC65843CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbab0b16a4201311965954fb88e79eeda5237926","datavalue":{"value":"1210.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563101$3102F268-0627-4903-A2A7-05555C0F05C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80b140b224e771dcc4dfcbebd6e6f91f547ab29f","datavalue":{"value":{"entity-type":"item","numeric-id":2946702,"id":"Q2946702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3563101$4485EACA-DE96-4D6F-9D0D-2B4A9195B13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8867479da5fd6ab21e678bb716183ac3bcba2e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3498481,"id":"Q3498481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3563101$2C16DD8E-FC17-4042-AC73-A16017862FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3563101$F8E2D3AB-B9A7-416C-AEED-FAB4879C54AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3563101$FBCCFC41-1E77-463F-A5CA-647FCE178453","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"25ff3ffeff83ff96082de6ad7766cc46bf675f47","datavalue":{"value":{"time":"+2010-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3563101$690449C1-2155-4201-9463-7B199A57F3DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6585b50c83649bb5e822063f36e2546114de1f80","datavalue":{"value":"https://arxiv.org/abs/1401.3840","type":"string"},"datatype":"url"},"type":"statement","id":"Q3563101$B565AF40-C9F7-4654-AFBE-E6E76B525AC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563101$D18306A0-B953-4349-A064-47D6192E2F38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0de029505bb3a1c182fe12bc74fdf780f6cb8fde","datavalue":{"value":"5713985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563101$DE27EBD4-A724-465B-8220-35A289A8385E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3563101$EE664726-B703-4D96-9A12-85614CD84863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3563101$B7502DF7-AE66-4BDF-84B8-1652807A71CA","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":"Q3563101$65D52C96-87F5-4633-9C2B-3D4046BFC898","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04d22769f1f4b0bec75524e49fa866fe049951ba","datavalue":{"value":"W3105494749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563101$C603AB4C-F171-4132-ABE4-CF571E479771","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cf9dcc50f923874162f0645832251a5e31baa352","datavalue":{"value":"Q129501631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563101$BE9917F2-A5E0-4D4C-BDA1-9129300D7308","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e122a63596454fbeece1b835efcf690f5d89c0ab","datavalue":{"value":"10.1613/JAIR.2980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563101$E3C5EEB1-5FED-40C5-BFA0-BA53471EA877","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f6b5e881b5e9aedfb0f7a5b921f30352995172","datavalue":{"value":{"entity-type":"item","numeric-id":3066087,"id":"Q3066087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb4881159b391b9039b4c59fd1b033fea5d5286","datavalue":{"value":{"amount":"+0.7684950232505798","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":"Q3563101$045EF7E1-DAB1-4345-A38D-9B92DFB390AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f116f18dd31c97e460c5b6db4834008b526edb9b","datavalue":{"value":{"entity-type":"item","numeric-id":5398305,"id":"Q5398305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec82b76e2093b4ff5762df3e9c31473fc740e0f7","datavalue":{"value":{"amount":"+0.746760904788971","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":"Q3563101$D0A921A0-5B1C-442B-818B-AFDA54B7AF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55eb7797c958e65d45b906a59c01a845e06de340","datavalue":{"value":{"entity-type":"item","numeric-id":5398058,"id":"Q5398058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"468a22f4cfecb6ea613f7782d8a14edb2d9236dc","datavalue":{"value":{"amount":"+0.7352806925773621","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":"Q3563101$67E3C183-7FA4-4892-826F-2A939B2B673D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b336a7bc5885b1328e48e9783e79bd103331ff5","datavalue":{"value":{"entity-type":"item","numeric-id":5108513,"id":"Q5108513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f5249435d82ac9294d01d5896b42f6501f6f8e","datavalue":{"value":{"amount":"+0.7274718284606934","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":"Q3563101$28232F28-B010-4AED-BD99-4EC758357C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd754e89c0096837721527867a4541aaad89c25","datavalue":{"value":{"entity-type":"item","numeric-id":5176854,"id":"Q5176854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebddd164410ba7c48c22338501f478ed4a41a05e","datavalue":{"value":{"amount":"+0.7188414335250854","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":"Q3563101$687BEBBD-B42C-46B9-9797-963779AF31E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3563101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3563101"}}}}}