{"entities":{"Q4507857":{"pageid":6537450,"ns":120,"title":"Item:Q4507857","lastrevid":81978575,"modified":"2026-05-06T19:48:32Z","type":"item","id":"Q4507857","labels":{"en":{"language":"en","value":"A simple polynomial groundness analysis for logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1515319"}},"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":"Q4507857$ED345EBA-AE05-49C0-BAF7-18F2355A393A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b3bc90a3c5858ec1c2b89a0d0b0669e339e0521","datavalue":{"value":{"text":"A simple polynomial groundness analysis for logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4507857$3117A0CB-5C12-4809-94C5-FBEAD1931697","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91e47878600be11984b077da979abe7fedd98ea9","datavalue":{"value":"0957.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507857$A4FE2637-1606-4297-9432-E277E2BDF412","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54f610e73f38540d55d03b7d0f86f5472d163733","datavalue":{"value":"10.1016/S0743-1066(00)00006-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507857$9C02E54A-AE1F-43C5-9ABA-C89C762DE458","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11031cb0a77aec2f951a0de1f20c57c10961e535","datavalue":{"value":{"entity-type":"item","numeric-id":4507855,"id":"Q4507855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507857$AEF2DC43-4C6C-4563-8972-62376E08CE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edc4cf25a930192ec44e4c295c7f7ac1f5ea2ffe","datavalue":{"value":{"entity-type":"item","numeric-id":4507856,"id":"Q4507856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507857$538256C3-5449-4C86-81CC-98C85B631831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507857$C01CAAE9-2321-4B77-941E-7DDD5C213184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3398e52dfa611cfbebe7884f888145f10a6bb45a","datavalue":{"value":{"entity-type":"item","numeric-id":294783,"id":"Q294783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507857$60170CD1-85D6-4D0C-AB66-65C82DF80167","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":"Q4507857$55E96367-5A56-402A-B73A-7FD9F3710E5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91ee56105cf0b4ca2d436df1d8fbe85f59c5c0a1","datavalue":{"value":{"time":"+2000-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4507857$90F52EC3-5A35-4348-A3F9-770B5D7D4024","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507857$D0195B16-1CFD-458C-A03B-9632933B3B7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b2972f9c207c49a88dfecb8644a56a7f4cceeee","datavalue":{"value":"1515319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507857$597F5F24-4411-4C82-B083-B39D41815AE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048de7ba1ec3ea3d0f5fe9914cf9d162437cf94b","datavalue":{"value":"positive Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507857$9FED631B-22AA-49F1-AD94-BB8B587B938A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d110ddb175259ce5ccc8b5c4647fa2658d005b71","datavalue":{"value":"Pos","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507857$ACC7E24C-DDFB-4CB4-BC45-9604399C0200","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":"Q4507857$FE2DABAB-5AA6-490E-A43A-554585D9FE97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b5e75f141d350bdff49045ce7c2eb5ffa90cc31","datavalue":{"value":"https://doi.org/10.1016/s0743-1066(00)00006-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4507857$ECC1B90D-7853-4D82-876B-348AED303490","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"653ce9f3e1f719c2402ad27e98daf9168c315a4c","datavalue":{"value":"W2079925704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507857$036CEB39-9AAF-4B8B-9F6F-2F5AF97322A3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"59fa8664677d7ac1fd4465e4914ba27023750bf8","datavalue":{"value":"Q126989322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507857$9004D9D1-EEA3-438A-952E-3C23C8C17E71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c14da53605bda1610f650d59b29f06659c1718","datavalue":{"value":{"entity-type":"item","numeric-id":4452593,"id":"Q4452593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a36272411b5b14d84358c2e51375fe119e0386a","datavalue":{"value":{"amount":"+0.8401528000831604","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":"Q4507857$A46C2C5D-244B-42A2-BB6C-731B869DD36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca7ac093264a8db9e26d130ec7c24fdf0f19d73","datavalue":{"value":{"entity-type":"item","numeric-id":4518882,"id":"Q4518882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545ab75a2ef4a4ed160ba5231d26f787b8560612","datavalue":{"value":{"amount":"+0.8246752023696899","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":"Q4507857$29AD38F4-1480-41DE-A2B9-39807F06741F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4a6ba602ad83e1678e13e45d712548aced5497","datavalue":{"value":{"entity-type":"item","numeric-id":4736509,"id":"Q4736509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b08c3ee30b3cbd6787ce8aa1a460df08cf705bac","datavalue":{"value":{"amount":"+0.8217177391052246","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":"Q4507857$2783A23B-D1E4-4FA9-8744-484E243703BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea71d2dad54b90aa3f4a7737a35c29e5dbc18cb","datavalue":{"value":{"entity-type":"item","numeric-id":1818309,"id":"Q1818309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494f7c2d3322b849fce91ac6747fa7eafafbeda8","datavalue":{"value":{"amount":"+0.8160080909729004","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":"Q4507857$F00CE24C-5DA9-4530-A711-12295DA18FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eb1ae0cb380bf609c998a4c545f3ef258a9c500","datavalue":{"value":{"entity-type":"item","numeric-id":4736508,"id":"Q4736508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57120cafa57fd201ef497376d4117dc6d9473084","datavalue":{"value":{"amount":"+0.8117367029190063","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":"Q4507857$8B848AAC-5D58-4A1C-8C85-CC4F78916C06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple polynomial groundness analysis for logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_polynomial_groundness_analysis_for_logic_programs"}}}}}