{"entities":{"Q3495672":{"pageid":5525572,"ns":120,"title":"Item:Q3495672","lastrevid":49425535,"modified":"2026-01-07T03:29:48Z","type":"item","id":"Q3495672","labels":{"en":{"language":"en","value":"A correction of the termination conditions of the Henschen-Naqvi technique"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170132"}},"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":"Q3495672$A02CB520-A61F-4225-84EE-C575EE039420","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ae619c519454382fa6493dfca3a6ce7e0f22a56","datavalue":{"value":{"text":"A correction of the termination conditions of the Henschen-Naqvi technique","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3495672$80C02E71-4084-49D3-84BF-5F190C9F8A0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae58b263f837efe0c68c53c99b622908ac99f4ed","datavalue":{"value":"0711.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495672$6DFE88F9-4750-40B2-B24B-86FC8D6EE5E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf8737a59f16e891304dedb15ff11a7528d7031e","datavalue":{"value":"10.1145/96559.96562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495672$D3EDC8DF-2B80-4372-B2CA-2E1740CCACEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe3a2c0736ee7f896c0d7201491d5653aa8602f1","datavalue":{"value":{"entity-type":"item","numeric-id":3347600,"id":"Q3347600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3495672$41F5BDE1-2C4B-4F60-8499-3AEC3BD3CB2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3495672$4482BCFB-E36F-4D60-8690-563AA77F8B09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3495672$9ECE7ACC-AACF-410C-94B4-5C2DF915DC14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495672$6640604C-36C9-4C06-9357-B5D30F8D829A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495672$C3A94355-DEE7-4700-A379-1C2287387BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495672$E73EFD1B-F43A-45B0-A9E6-D6CF776D85AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495672$779594AD-9217-4BF0-A1D1-61D0E0228315","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"309b484996750315aac9dc0f72e706d4546527a3","datavalue":{"value":"4170132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495672$3B1ECBFA-3266-416A-BE1B-876E07F76E5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe45266937da177fda5251168e1ad03d697a240","datavalue":{"value":"logic program compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3495672$FC4469BD-5112-461E-9DEE-01F88D665D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b089b06f0cc77ca1cb2aa0a815b20bf421cb6ce","datavalue":{"value":"queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q3495672$CB6E97AB-642F-4CDA-8972-29516B006F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ed600bf10ce58de112a49dccf0eb49d31a1e1d","datavalue":{"value":"recursively defined relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3495672$BA2B4DE9-FDC3-4F51-879B-E9A1DAA8B180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c89b20a853c6d7069d5ce0e33d6525cb7b1cf01","datavalue":{"value":"iterative programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3495672$6EBC22BF-D1F7-4C89-ADF8-3AC685E5CE86","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":"Q3495672$9C9682EC-E289-41BD-98F4-164A278B7656","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0ad2083f928976ea302d67003c8e1ff9d96e899","datavalue":{"value":"https://doi.org/10.1145/96559.96562","type":"string"},"datatype":"url"},"type":"statement","id":"Q3495672$1AF6E79D-9184-46BB-97B0-5A1DDE33A57C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2aefde22258cf1c8ff2a358c464f9c8f960eedd0","datavalue":{"value":"W2085568642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495672$30BA35CF-0BA5-4AD1-8EE5-2EF0EC7964D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14c91846240094417b46123aafb3e64d44fc0994","datavalue":{"value":{"entity-type":"item","numeric-id":3792286,"id":"Q3792286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea221b687a5d53e5aa88cdcb17ba6dfe27eeaf29","datavalue":{"value":{"amount":"+0.7512508034706116","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":"Q3495672$FF02B176-807C-4F41-A1DE-D6B094C00CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32a3e029d94f2c04e382aab8c58b7b0e3eb2472f","datavalue":{"value":{"entity-type":"item","numeric-id":3691103,"id":"Q3691103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"351ddc0b7358c88b7cabb3a3f33871e1d6d1a30f","datavalue":{"value":{"amount":"+0.7423844337463379","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":"Q3495672$351D4D48-E27E-44B6-B779-E86233D05D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee7da3b728f6b68989f32f591232cbd9860c028","datavalue":{"value":{"entity-type":"item","numeric-id":3401938,"id":"Q3401938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8644873d72bf15ff395be8a23cc3a68c4f2734a1","datavalue":{"value":{"amount":"+0.734529972076416","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":"Q3495672$E692D022-CF7A-4E18-91C1-37B66B9B292A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67e33848fbdd6fd3e44bd593e804b73653260fb","datavalue":{"value":{"entity-type":"item","numeric-id":3830569,"id":"Q3830569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24de9955ee4377bd67c8b599112bcd109dce9d41","datavalue":{"value":{"amount":"+0.7329819798469543","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":"Q3495672$9FC65A7B-9401-45F5-BAF1-224B159F4EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a8c6d6b8e9491c8c6cc7ab9d31c199d3383dbc","datavalue":{"value":{"entity-type":"item","numeric-id":1123651,"id":"Q1123651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70ba38b0a3d5bd2456be7b18e2a8c09bca47858","datavalue":{"value":{"amount":"+0.7278317809104919","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":"Q3495672$FC9FD2FE-C1FC-4F8C-8196-307EE45A5B7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3495672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3495672"}}}}}