{"entities":{"Q5030202":{"pageid":7059779,"ns":120,"title":"Item:Q5030202","lastrevid":54225578,"modified":"2026-01-26T12:16:15Z","type":"item","id":"Q5030202","labels":{"en":{"language":"en","value":"A backward slicing algorithm for Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7474240"}},"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":"Q5030202$FBA3420F-84C2-4771-A1A4-0CDB8BD9CAB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d42efa314daccb3de575351e08cbf683a0596786","datavalue":{"value":{"text":"A backward slicing algorithm for Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5030202$26741960-DFF8-4EF1-AF49-ACB6057E6FD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d73f8d4d53c37515f04fb187a422c1e44c58a1c8","datavalue":{"value":"1482.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030202$CFB297EE-0E14-4080-855B-B8A2539E3B76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e01f1abcb55ac6abf9e039444c68b534ebdb9eb4","datavalue":{"value":"10.1007/3-540-61739-6_50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030202$1F26C4A1-D75F-4784-A235-7B2F1AD2ABAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6e799632e7739ce44147dfa477fb5d3c3fae0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5030201,"id":"Q5030201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030202$E764754A-F83A-4D82-BC32-AF5F3B05D53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aded360d85463ee6262718c41a34e5b2313b9b5c","datavalue":{"value":{"entity-type":"item","numeric-id":2723911,"id":"Q2723911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030202$033D7EFA-F825-4FD2-B367-AB0F6F6F6805","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030202$1F8A209A-9E16-4C08-AAB7-5B73D9F172DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ff05e6058196d79b1d3d881c249dcdb95e15a7","datavalue":{"value":{"time":"+2022-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5030202$F94548B9-51E9-4E6A-A9CE-088DF3DBAA79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030202$A2806B18-D368-4761-808F-B0E2A33266D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030202$1DE4F32B-8025-41E4-8A3F-D6F558252781","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9f534de53275564e54c3144487e7fd809128a3b","datavalue":{"value":"7474240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030202$8D1EE701-C1F5-4474-92CB-FF353C821EEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030202$E284725F-34AF-46D8-9DDE-99987CE6976E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06bf7af95a6892ee30d95dc04eb3fefe3acf05b1","datavalue":{"value":"search tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030202$59B3FDBB-8975-4080-A208-164FD304AA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030202$DB760061-F5E6-4BEF-82A9-0B59912A10B0","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":"Q5030202$1CD52C47-C342-4512-8529-8D0EEA79E238","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7f8c4acf9ead4ed7db154849d338e97cda2642c","datavalue":{"value":"https://doi.org/10.1007/3-540-61739-6_50","type":"string"},"datatype":"url"},"type":"statement","id":"Q5030202$DFD70C64-92FE-4D93-8D31-679FF96CB92E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"177cb01aeb8cf3e45a75b2061077167f7a52ab30","datavalue":{"value":"W1514965137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030202$B1850068-9349-47CA-9336-653E9598FEC9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"841df77b5e5e2d994ab30d1be873a76e763763b2","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030202$7F66207A-B436-49DA-8663-C59BC44461B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f342ea4f6edcfa9b24e8c4722a1d0f43147ce5a5","datavalue":{"value":{"entity-type":"item","numeric-id":4844167,"id":"Q4844167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030202$B277E877-7E8C-4B77-9619-861F9A8465AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b2784184dd3750afe242ed3f86509e54d5455f","datavalue":{"value":{"entity-type":"item","numeric-id":3718124,"id":"Q3718124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030202$2742D2D6-CB86-4697-A7C5-5FD2E1D950BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884419ffe764f28d98d4a237df281bce04a0d886","datavalue":{"value":{"entity-type":"item","numeric-id":2770772,"id":"Q2770772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030202$7D47854C-BBA2-45CF-8251-528DE5F060E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db4b7623e484d401f72696443649dd0b4416f58","datavalue":{"value":{"entity-type":"item","numeric-id":4875865,"id":"Q4875865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030202$07C067C3-D7C5-44F8-9E3B-9432DB314DB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fa7c9af4d130238eec9032f3cc35e60dc60ba21","datavalue":{"value":{"entity-type":"item","numeric-id":4793050,"id":"Q4793050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe3eee31843c17b3db0a1ea2a9428679e4e3ece0","datavalue":{"value":{"amount":"+0.8824736475944519","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":"Q5030202$9732A100-1542-44C7-B782-6EB9A718C408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558b774e8bf358de68272cc1d3b439d9584b78b9","datavalue":{"value":{"entity-type":"item","numeric-id":1941855,"id":"Q1941855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe3eee31843c17b3db0a1ea2a9428679e4e3ece0","datavalue":{"value":{"amount":"+0.8824736475944519","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":"Q5030202$B553701D-5E0C-4C0D-87A1-8081ACC6374A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6ce2006bb5775bcf27559629f9e5c209618938","datavalue":{"value":{"entity-type":"item","numeric-id":5316584,"id":"Q5316584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563ca2bcf469f05948acd0c2ce06d1ebc6d79534","datavalue":{"value":{"amount":"+0.8299278020858765","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":"Q5030202$D1D16A33-0F21-4F53-BFC0-14E4246C9CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2284c05c71538eb3d1562a85cd41100c59dd3fc8","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"211c8f8854971106aa730dea346533cfce611d32","datavalue":{"value":{"amount":"+0.806332528591156","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":"Q5030202$FC2EFA63-C80E-4F0B-8171-02B019BE5E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a607bb74a48c654de505e08b7d18422fd7d7ab","datavalue":{"value":{"entity-type":"item","numeric-id":1857275,"id":"Q1857275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749b0efd0d59b425536d623d060ba27295ebab27","datavalue":{"value":{"amount":"+0.8017835021018982","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":"Q5030202$A8C8B2AC-8EC1-46D5-8CBC-D25C98780C23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5030202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5030202"}}}}}