{"entities":{"Q3988798":{"pageid":6018655,"ns":120,"title":"Item:Q3988798","lastrevid":93022079,"modified":"2026-06-05T03:25:56Z","type":"item","id":"Q3988798","labels":{"en":{"language":"en","value":"Negative subgoals with free variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33195"}},"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":"Q3988798$B605CC0F-8AB5-4707-8C7C-0332C2247A83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af32a18e1fb963dc14747821712f4812635ecbf8","datavalue":{"value":{"text":"Negative subgoals with free variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3988798$FE3EB426-BFEB-4410-8358-371CA42B6191","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a64087dfcf37760d3032c41a2247cfa21a21af43","datavalue":{"value":"0764.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988798$B4CB3B99-AFD4-42D2-91F0-E5CC90DFD9EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30ffe2adb82b8d89c50accd4a0c18538df79df79","datavalue":{"value":"10.1016/0743-1066(91)90029-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988798$551AA2FA-A0C9-4B3A-8AEB-E0857099DACF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db20d60fdab35354b81f8a87932ead73c4375818","datavalue":{"value":{"entity-type":"item","numeric-id":1097713,"id":"Q1097713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3988798$A2016565-FEC6-4A96-8288-1F0F42EEFBBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3988798$41A018AF-6E6F-48DF-8C4B-1D8FD4A0A26C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3988798$A690D632-85C6-4EB4-91F8-664004D23983","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988798$9DD812CF-A0A1-4C97-B71F-1D38A6F96B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988798$E0EF61AC-46B2-4351-BEE5-45F77AB3B8C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70ae8df115a4ffaebbc672b0a0f8d3d843a2a02c","datavalue":{"value":"33195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988798$4F922743-A451-43B8-849C-97A3BFD02A95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988798$2864D37A-F876-40CA-98BB-9A2C80A7B705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d05d8bd9338c06cd4a84fbca931966f382257b7c","datavalue":{"value":"negative subgoals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988798$D2046F3D-6BAA-43D6-8097-10BA353FCA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69020b90f2a295125077d4c830cfc6ef19605b9f","datavalue":{"value":"free variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988798$280B3D08-86E4-4F75-B2E9-462CA09237B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"153829c05c8ac0a731f8244d912bc85dfb04e583","datavalue":{"value":"quantified default queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988798$45B71939-F53E-4531-8FA2-8DA32CFB29B0","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":"Q3988798$04E5A0A3-4A05-47F6-8207-0AB1080A7C56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93da1ae1716cbd8bde8fdcdf4b095b1976172c27","datavalue":{"value":{"entity-type":"item","numeric-id":3727351,"id":"Q3727351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8440cc71c378dae26c4768525d88fa230fe49f0e","datavalue":{"value":{"amount":"+0.7850556969642639","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":"Q3988798$9C0905B2-0507-40BD-93FF-3504AE2CB417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cca812379f739393c356716fe45310eec4d2c4f","datavalue":{"value":{"entity-type":"item","numeric-id":918193,"id":"Q918193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"152f826140770a3decaf10726a6a7f5b79babb2e","datavalue":{"value":{"amount":"+0.7725945711135864","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":"Q3988798$B5492B03-922E-4210-AEE9-754A8BFBE413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c06c2f7118879de4f590ad49e6a3c5d1bf6ecf69","datavalue":{"value":{"entity-type":"item","numeric-id":3747756,"id":"Q3747756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14644d2e3095eb7fb84f55c940995be74933755b","datavalue":{"value":{"amount":"+0.7637240886688232","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":"Q3988798$D4D8BD96-6BBA-4B9E-A119-E9B259D06FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb81eef73fb07b601fbc198f85cc01348ef49b8","datavalue":{"value":{"entity-type":"item","numeric-id":4207881,"id":"Q4207881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172b9e0da9cea3514d4285a26c280445f66478da","datavalue":{"value":{"amount":"+0.7614999413490295","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":"Q3988798$765F49B0-C94A-44AC-9BD4-D42D5A0BE8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae991310c4eaa2d67c30ac0b2bc5888ba480b86b","datavalue":{"value":{"entity-type":"item","numeric-id":3204031,"id":"Q3204031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"664d52759316a6c08ff2cb478c928f7153756eba","datavalue":{"value":{"amount":"+0.7531715631484985","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":"Q3988798$4E7BBDAF-C90A-4098-A9A6-A6DF84FF66B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Negative subgoals with free variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Negative_subgoals_with_free_variables"}}}}}