{"entities":{"Q5302880":{"pageid":7332454,"ns":120,"title":"Item:Q5302880","lastrevid":96021926,"modified":"2026-06-05T10:15:00Z","type":"item","id":"Q5302880","labels":{"en":{"language":"en","value":"An Algorithm for Local Variable Elimination in Normal Logic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5491962"}},"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":"Q5302880$205B60D8-54C2-4F63-BAAC-56F84C11362D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca36d3daaf11ec738979bde0a5e81698d13e28c3","datavalue":{"value":{"text":"An Algorithm for Local Variable Elimination in Normal Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5302880$2B63FDAC-7014-43DE-A722-25E68C3322EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29e86537a425180633be76ce8e4612fce72263f7","datavalue":{"value":"1156.68325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302880$78ACEF76-A33C-45F8-AD63-6F95C7F9A623","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11734a7cebabfcdb8e78af2160fdb557272e46c6","datavalue":{"value":"10.1007/11680093_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302880$B3D6344F-6CA8-49F6-8B88-BEBB299C035B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b99c61ffa710d7dcedff0712daddb1aa889270","datavalue":{"value":{"entity-type":"item","numeric-id":2850663,"id":"Q2850663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302880$C11FF33B-2D8A-4F58-82FD-7CC8182D85F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1fc9c84eb3207ee438d2d5ce3c97d92242bb030","datavalue":{"value":{"entity-type":"item","numeric-id":352972,"id":"Q352972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302880$2752EC99-1075-4C9B-86B6-F37A6914DFF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b30e253b497c9ae83eb323a9f6b0623853ce927","datavalue":{"value":{"entity-type":"item","numeric-id":3079910,"id":"Q3079910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302880$B5EE48BB-79F7-420A-A835-705C2AA4D10F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e26e6c2a83c3157baf46ffe4a8d556736cf88fe","datavalue":{"value":{"time":"+2009-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5302880$9B733F15-B339-465B-8D0E-744A9E5DD2A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302880$03C852AD-D4D4-451C-BC51-9D68F78F4418","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a4091d2d309bb2ba3d9f7d09f0b5a1e24220adb","datavalue":{"value":"5491962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302880$0001FF03-A94E-4142-AB89-6D82A753A717","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":"Q5302880$164B9222-A1AC-4FAA-AAC2-099A0134D2CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"967f39e295f90630d8d3b2d059e9f9df8699f823","datavalue":{"value":"https://doi.org/10.1007/11680093_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5302880$B10DDC6F-2893-4C89-82D3-499F48031678","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bd0be675ccefca46c1fd16e8ebd106629ac8d34","datavalue":{"value":"W1480312003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302880$3107CD82-AEDB-4B96-A4FC-19596D7753E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa1c274b7e15671206e8c5080156b3fc3a16a79c","datavalue":{"value":{"entity-type":"item","numeric-id":2850664,"id":"Q2850664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd757aeeed069787293d40469ae530a5e0003ba9","datavalue":{"value":{"amount":"+0.93804204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302880$D67AC440-629E-4E07-8D95-AFD97853A5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de615db1047fd15754f3548c7986a18fe11b9c2","datavalue":{"value":{"entity-type":"item","numeric-id":5504662,"id":"Q5504662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314b0cc05fdee7afdade43d02f382a7d84e49cd3","datavalue":{"value":{"amount":"+0.86970425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302880$82EBC719-0CC7-4A0D-B959-353EA293C23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8f48d91106ca2408767fd4e1de5a67cb346fb3","datavalue":{"value":{"entity-type":"item","numeric-id":5096198,"id":"Q5096198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39750224937be9cc5cac43eb99ed1c877effe6fb","datavalue":{"value":{"amount":"+0.8574034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302880$BAE932DB-B9FD-4BF5-8591-488BE736BBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c513fe4750dba8a06f4f6d9c9420b5c93936ad0","datavalue":{"value":{"entity-type":"item","numeric-id":3400572,"id":"Q3400572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdf9d13206db27e9b396056ec967239ef97841fe","datavalue":{"value":{"amount":"+0.85542023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302880$86AD753A-5F22-4BD4-9AC7-DEBC40C0042F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf28902827dd7d563c83f8678d9bc91ba6916d1b","datavalue":{"value":{"entity-type":"item","numeric-id":4518915,"id":"Q4518915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8290a4c547c1f4ef49f37f8a122d8dd11a85b6da","datavalue":{"value":{"amount":"+0.85288614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302880$2ACC74C6-7FE2-4957-B050-0293A933AA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603f5ece477cdaaab932e777d8ff95568d9a8b99","datavalue":{"value":{"entity-type":"item","numeric-id":5449600,"id":"Q5449600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"602a6d2f7284b2430167c34e59b208013e3960a6","datavalue":{"value":{"amount":"+0.85248595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302880$2B60B035-E80B-4735-A3EB-1E54C3294361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767bc48bd53a0b15eebad055bb776ed5fe75b0b5","datavalue":{"value":{"entity-type":"item","numeric-id":5449592,"id":"Q5449592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ffe64124c007a4f366a846b78981219ff34d82","datavalue":{"value":{"amount":"+0.85053676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302880$54DA0379-318E-4F44-B802-9224AD236975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"756a76ff57d81d0345fcbd5c597c9499caa8ae18","datavalue":{"value":{"entity-type":"item","numeric-id":2867956,"id":"Q2867956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0cc9fe715a5beb321c404e31c25fb7f0918d03","datavalue":{"value":{"amount":"+0.8488698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302880$FC876DD9-9619-43DB-BDB1-D8BC4A3C942A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c2f65d9516fcb234678f49c21646ce00feaf61","datavalue":{"value":{"entity-type":"item","numeric-id":4955327,"id":"Q4955327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461d55c70c1f1d854a8a9c1164f0b6e9b232ea6f","datavalue":{"value":{"amount":"+0.84837824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302880$1CE87409-C327-45A1-81F9-0EF6811961C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Algorithm for Local Variable Elimination in Normal Logic Programs","badges":[]}}}}}