{"entities":{"Q4452626":{"pageid":6482225,"ns":120,"title":"Item:Q4452626","lastrevid":89449295,"modified":"2026-06-04T17:23:39Z","type":"item","id":"Q4452626","labels":{"en":{"language":"en","value":"Linear tabulated resolution based on Prolog control strategy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2048603"}},"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":"Q4452626$C4E7CDE3-7DD4-4271-A4D7-85925578AF5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"354bf926cc49159628f2e2fc8d684be33499b4e7","datavalue":{"value":{"text":"Linear tabulated resolution based on Prolog control strategy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4452626$DFBB0B0F-2C88-42FD-9478-9E0B53108AD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6341ab2fef5b444e934af3c15d3fffa1809dd04","datavalue":{"value":"1090.68533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452626$40DCEFDD-12C8-4490-A4B4-A5E87B701752","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99a19155bef0bbc06410e4a12e1ef6fcbbb2e024","datavalue":{"value":"10.1017/S1471068400001010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452626$A588E541-0E46-4F0A-98BD-DE4B9F7E5AAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aa445cb4aeb46762e37cc5b8ab558742cc3a460","datavalue":{"value":{"entity-type":"item","numeric-id":286398,"id":"Q286398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452626$6B931071-B520-4419-83EF-C3E3C8256D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e9b7d651f1efa21fa167889604f4c1b276297e6","datavalue":{"value":{"entity-type":"item","numeric-id":645082,"id":"Q645082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452626$A10ECBF3-4981-4136-8313-875E574A752D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebbe34775ef1d216531e6f0566e565f5ff1b1656","datavalue":{"value":{"entity-type":"item","numeric-id":645081,"id":"Q645081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452626$18A35BA6-9396-4A8B-A2BC-BD56A1FB0A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8725484b889e176c26e0acb7eaf9d3af0613b87","datavalue":{"value":{"entity-type":"item","numeric-id":2893098,"id":"Q2893098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452626$9BEFD4A3-A13A-4555-868E-67554FE87C7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452626$96433E48-BD1E-4E0D-B3ED-45FB742A0929","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9580d7f0de524106bcb22df2672fab6aa67bf44","datavalue":{"value":{"time":"+2004-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4452626$70148A18-1B31-4D5A-B153-0A05BC6F3610","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452626$AD690FA5-BFAE-4036-965D-A62879B616D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452626$321F89C0-6F1C-459F-BC7B-501E98641B33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9127bec75cd0a2e3333396f6a344baa8e23f5d9c","datavalue":{"value":"2048603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452626$ECEE08A9-BED7-4CFB-B5FB-709D91BD1E87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452626$5A92DC12-D918-4302-B6E1-A88E7353E9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f01c4925046868c68824900c798943c13a622d1d","datavalue":{"value":"loop checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452626$261377FB-E3F9-4762-BD95-CBE2C966BBAC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452626$C8E68433-C4E0-4CA8-9595-15F2C4B25890","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":"Q4452626$F354E523-F381-4FF7-8538-3F67F80B9A4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecace895ece6c1c923d94d64921f81fb2a395096","datavalue":{"value":"https://doi.org/10.1017/s1471068400001010","type":"string"},"datatype":"url"},"type":"statement","id":"Q4452626$B978F927-70E1-4672-9A19-49F144CC5AF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06146bddbaea0af249290311fbbef886699c9bdf","datavalue":{"value":"W2080716125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452626$167256D9-AB05-4049-B851-4D236F75A97F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a0c906c8494991e586a155b65885a44a446bd24","datavalue":{"value":{"entity-type":"item","numeric-id":5437650,"id":"Q5437650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd72d9bb64f9678006134ccaec83a798f0c4a8dc","datavalue":{"value":{"amount":"+0.8258507251739502","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":"Q4452626$0D4A26D8-6661-4858-979B-796C8E8358C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b63603a1c6bbe0dc376355977f2495e946c84b","datavalue":{"value":{"entity-type":"item","numeric-id":1598446,"id":"Q1598446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ac3c338e7bb9b06630f769df30610a628803d79","datavalue":{"value":{"amount":"+0.8146767616271973","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":"Q4452626$E8298354-92CE-4AC8-AAE9-AE8F99E55359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ef702e412465f5ce5f929a291057d7ee983188","datavalue":{"value":{"entity-type":"item","numeric-id":4371515,"id":"Q4371515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d8897ffb07d862843278043378b6ddcbb2dc9ba","datavalue":{"value":{"amount":"+0.8123675584793091","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":"Q4452626$3880DE68-2C30-4556-A692-2D92F896943D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357e736e10dc94f45afdad3340b1d016f0804d70","datavalue":{"value":{"entity-type":"item","numeric-id":4413060,"id":"Q4413060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d057e18f84bf4bb61f866732dfc1a4153be45f29","datavalue":{"value":{"amount":"+0.8094574809074402","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":"Q4452626$93C930CC-7D15-4B6F-B445-3AA228EE4BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1959b30f9c02f6228dce11599659dd09d7fdcfa5","datavalue":{"value":{"entity-type":"item","numeric-id":3746920,"id":"Q3746920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0f2f2438dbb5fcb289b2807b4a075049230f23","datavalue":{"value":{"amount":"+0.7794411778450012","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":"Q4452626$D08F7D76-D049-4E4C-9813-60D5B6BCF34A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear tabulated resolution based on Prolog control strategy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_tabulated_resolution_based_on_Prolog_control_strategy"}}}}}