{"entities":{"Q5415609":{"pageid":7445183,"ns":120,"title":"Item:Q5415609","lastrevid":92372921,"modified":"2026-06-05T01:33:44Z","type":"item","id":"Q5415609","labels":{"en":{"language":"en","value":"A novel derivation framework for definite logic program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294811"}},"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":"Q5415609$6EC45725-F482-4670-BA33-7C3D884C2024","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6785f3c40741b2cebfa90d875d865942f8bdac19","datavalue":{"value":{"text":"A Novel Derivation Framework For Definite Logic Program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5415609$1FAFAFBB-F91D-4EFB-A5F4-E1BACE9AA30F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cccc31884d7d38b652c5f38bd7f5d57194fd47e9","datavalue":{"value":"1286.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415609$1109F826-38D0-4ED3-B5B3-FADFC60A927D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3a9ef8f7bec0a13d9487613ba93e2a9c1034736","datavalue":{"value":{"entity-type":"item","numeric-id":2512817,"id":"Q2512817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415609$1DBA48BC-7535-4C80-BDFD-6905A838DDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43c58569846d61b472550f2efc872275f83e776b","datavalue":{"value":{"entity-type":"item","numeric-id":533184,"id":"Q533184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415609$916C5750-D969-4920-BE0F-3B751224B034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25d081311eae44eddf4c22ed84a12cfa39e6923f","datavalue":{"value":{"entity-type":"item","numeric-id":1129837,"id":"Q1129837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415609$1CF0E8DF-E7AC-4A9C-808C-58D6ACBCEECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ad8425385621952ca8bdf4c021ffeaf2afa8be6","datavalue":{"value":{"entity-type":"item","numeric-id":3507340,"id":"Q3507340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415609$B93A3EA6-D903-46A3-9151-51ECC3F713B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415609$603B2BE4-00E8-4799-9A71-36083556D1B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"babb005e2058a090ed1400594b32c070c610537c","datavalue":{"value":{"time":"+2014-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5415609$5F47EA21-90BA-417C-A5E4-3E951C012297","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415609$96C964A2-149E-4259-963A-E814AAEB3126","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e71235649d42f17174274089f49038f450af938","datavalue":{"value":"6294811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415609$687001A3-05DA-4103-864C-43F2C75956F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a5314f1ded2d8dc02564b48a17abf890b688c77","datavalue":{"value":"abstract and refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415609$3DED8DC0-C71D-43E3-A5C7-4FE85DFE403E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2834e990295fa9c697282673ec7269ed63018576","datavalue":{"value":"termination prediction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415609$7B1503CE-DC37-41FA-9DFC-DCBB8F9B72B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"973d72a70970e6349945250184f71e7d4685dcb2","datavalue":{"value":"definite logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415609$758F6576-4437-4F8B-B992-BEA68BEE3B6E","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":"Q5415609$B9B7314C-2E2A-4FE1-9983-2C071B903543","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3e69f2df5a666a90787cd69d1bf429c21a428f7","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.04.054","type":"string"},"datatype":"url"},"type":"statement","id":"Q5415609$72FDC949-D7D7-4B05-9117-36CE3B619822","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8aed496c8cd9180e487576a60ce9e4e957196b81","datavalue":{"value":"W2064295786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415609$B84E0A58-58AC-457D-9021-48A53AF5119F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415609$D4271953-9A22-4FDD-8DF7-57CB127684BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c958e33f463e3581260ac97e61a278b990257a","datavalue":{"value":{"entity-type":"item","numeric-id":4452611,"id":"Q4452611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415609$FF056228-2578-49D8-937E-919E38F58CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d04b670e7ad6909e8ece5ea78f4e3f9148ab5e","datavalue":{"value":{"entity-type":"item","numeric-id":1581061,"id":"Q1581061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415609$6AFF26ED-8762-4E4E-9C6F-9B20B0290EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c61b3a266ce0b95b2ba3e58ade5e19e85b58ad5","datavalue":{"value":{"entity-type":"item","numeric-id":5267437,"id":"Q5267437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415609$76B8F30F-1D52-4B49-BB7A-CD80AF6E9D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e961268c56c99c0633622346a981c3a18a3ee5","datavalue":{"value":{"entity-type":"item","numeric-id":5491199,"id":"Q5491199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415609$267AD10B-20B0-4CDE-BA46-334667B9DBA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f01e7a6b791ca51c0f43368811dd67659e726b5e","datavalue":{"value":"10.1016/J.ENTCS.2008.04.054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415609$20A5745D-6318-4F30-A547-FDEFDEA2C024","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510ff608301ddd9705eb6af6329124ec69d95c15","datavalue":{"value":{"entity-type":"item","numeric-id":3648357,"id":"Q3648357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71bac03116bc04db9b2668d1e47ff6079015ea83","datavalue":{"value":{"amount":"+0.7752504348754883","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":"Q5415609$C989358D-871D-4E94-90B5-17197AF68732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cefc19d9c01d74945daaddaddb2d07a92300e81","datavalue":{"value":{"entity-type":"item","numeric-id":5688890,"id":"Q5688890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9959b76f4c6930007dc81a4e007b1b9f5a535dde","datavalue":{"value":{"amount":"+0.7472840547561646","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":"Q5415609$4F58B4AA-E5C8-4883-B7B7-764B02667FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad0c147821a4e6c660bdc484df1843b264d7131","datavalue":{"value":{"entity-type":"item","numeric-id":5267437,"id":"Q5267437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1b10a35f5e9b1918cb645ca5249f9f9312fc20","datavalue":{"value":{"amount":"+0.7246015071868896","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":"Q5415609$D3B54B1B-9174-4A4E-9851-9A9BCD994DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094a0110cb5d47483681620b12c3a0b405285499","datavalue":{"value":{"entity-type":"item","numeric-id":3201751,"id":"Q3201751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2b5cafceab33286accbbe700c1661d46e070a1","datavalue":{"value":{"amount":"+0.7243250608444214","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":"Q5415609$67B28EEA-378D-48C0-9F53-F0DB8D548427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c660ed0e13964220ae4ba00bb0a33b30a8ce3ea","datavalue":{"value":{"entity-type":"item","numeric-id":5277705,"id":"Q5277705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2338771d8781247de6079b4f8e774cd8adc1936","datavalue":{"value":{"amount":"+0.7193353772163391","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":"Q5415609$688C7E3E-F2B6-44DD-B73E-9DEDD5AEBB2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A novel derivation framework for definite logic program","badges":[]}}}}}