{"entities":{"Q1328781":{"pageid":1339531,"ns":120,"title":"Item:Q1328781","lastrevid":70154352,"modified":"2026-04-13T12:48:37Z","type":"item","id":"Q1328781","labels":{"en":{"language":"en","value":"IDNAF Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 612151"}},"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":"Q1328781$9C1F3FC8-1480-46BE-A202-89EE96478475","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc7082701ab85c52e1e07bc94b4217747c0f45f2","datavalue":{"value":{"text":"IDNAF Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1328781$0F82E757-431D-4DCB-A245-0D5F922B2C5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13ffd731a8964645c17920d92ac955245afac30c","datavalue":{"value":"0809.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328781$D254E208-836E-400F-8094-D570E2AEE3E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d06819e72ec2a79d859d0cce2a319e1bb9b449c","datavalue":{"value":"10.1016/0893-9659(94)90104-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328781$05030E66-6CFD-4C29-8856-A944D52D5280","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"071631e7e8c817710c8f9a2f781519ed28aaf9ad","datavalue":{"value":{"entity-type":"item","numeric-id":1328779,"id":"Q1328779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328781$DA9A0A4C-B1A5-4790-B45F-0BE0B1073109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2b492f45ff9305d7bda9d14741b73e0f2e9ffbc","datavalue":{"value":{"entity-type":"item","numeric-id":215111,"id":"Q215111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328781$CC5B58E5-2A2F-44B0-925D-61B8BF2EBAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c912c6fc010f3acb98de381d55bb6c3cfd6c3b93","datavalue":{"value":{"entity-type":"item","numeric-id":432963,"id":"Q432963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328781$95AA6AB9-3AB2-4CCD-90DE-DDAFFA9E7226","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"60e92c9f06012150d8158f8bfafc8319965c5fdc","datavalue":{"value":{"entity-type":"item","numeric-id":176247,"id":"Q176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328781$CDA70951-02BC-49CA-8DE8-762F9BA24B5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fcf8c05223362cb6bd6c445f68f31dd9aee8436e","datavalue":{"value":{"time":"+1994-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1328781$0576AF65-49C9-4349-B520-71FED57D3A1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328781$46B9B168-D206-4965-8DD0-A3575A63EEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328781$61A3F399-2A9A-4335-B2E4-E99FF416673F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13d9b2359ee0552bff46c05d9a490c4f62db6f1c","datavalue":{"value":"612151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328781$D2E55409-6B03-4E06-ACC8-08545555D784","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328781$06ADC58B-D2D5-41CC-B815-55499DEAFEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dab73bef609473a7fc183a4b9efe778737f82114","datavalue":{"value":"graph search","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328781$50556571-7BC8-4081-B87B-95D87C026A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd5f68c909b32d15246ca3700d59872a7aa7bdc","datavalue":{"value":"Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328781$47683F87-F785-4507-848C-FD4AD21E6821","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":"Q1328781$419E31C8-4F34-407F-AE8E-A696E366E909","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f0b5c5d1ef7da893967c1b74defc4984f71dee","datavalue":{"value":{"entity-type":"item","numeric-id":1062761,"id":"Q1062761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328781$A47B9684-0B09-4175-9353-3EBAC90C8C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce684525f89dee7442093042ffa5b53734414d5","datavalue":{"value":{"entity-type":"item","numeric-id":4012259,"id":"Q4012259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328781$13FC8E96-7E9E-4CCA-A0F0-B08B0C8102DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d468c466a706e55ee0ac089919fe49c486edb41b","datavalue":{"value":{"entity-type":"item","numeric-id":750134,"id":"Q750134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328781$ED93DA9F-E518-40AB-852B-D33A17646AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe1ecfcb0bf02517fc3a0545c62772c426b7277","datavalue":{"value":{"entity-type":"item","numeric-id":1109585,"id":"Q1109585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328781$9A96D0FA-791E-4B4B-B926-8F669EDC1652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab938ba3d2bb1de7d34dc0f9166735f59a48b21","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328781$DE73B4E9-7238-44C5-A182-08B900A4765D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328781$F218A887-6FD8-4832-8176-F1FAEE9C130B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b07e6e6fe64a9bfea64e490a4cd3ba563fe2c243","datavalue":{"value":"https://doi.org/10.1016/0893-9659(94)90104-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1328781$7617E383-B973-43F4-86DE-153B4CF205C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"632b440cf58f9204f2ba9b550378829fce414672","datavalue":{"value":"W4213390843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328781$C19763DD-17E8-4680-8DB4-0146EA1863B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5cc368cb8ce5c0b01110b0c36ba4e488843bc3","datavalue":{"value":{"entity-type":"item","numeric-id":688625,"id":"Q688625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb3eb5d2eda2a884eb5459ca830bbea13c037e79","datavalue":{"value":{"amount":"+0.7575861215591431","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":"Q1328781$D7454055-ACB6-4052-B4BA-C4D987EE50A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f358d54a823cccaceb21d2bcccb95854e3b497f","datavalue":{"value":{"entity-type":"item","numeric-id":3807643,"id":"Q3807643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6020b81b6b0377c669aa99d8ed171a6695bf91ee","datavalue":{"value":{"amount":"+0.7325371503829956","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":"Q1328781$C376AEC4-7710-4945-A6B9-55ACF64336CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32f6ce882750b852e0f4628776c07bf87adb1a1","datavalue":{"value":{"entity-type":"item","numeric-id":4002997,"id":"Q4002997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6d66fdacdde0fff6e9ab230043ebd56fc5e32e9","datavalue":{"value":{"amount":"+0.7218354940414429","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":"Q1328781$0A2648EA-3713-496D-9C28-71CEDD637386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adbacd20f11591f7550cc228dfe34683bac896f","datavalue":{"value":{"entity-type":"item","numeric-id":4514010,"id":"Q4514010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6d66fdacdde0fff6e9ab230043ebd56fc5e32e9","datavalue":{"value":{"amount":"+0.7218354940414429","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":"Q1328781$6DE003AC-1083-4DF6-9407-9CB7FC86FB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fc60b996e2de68d4c997a1a1f6687d980bd17bd","datavalue":{"value":{"entity-type":"item","numeric-id":3809307,"id":"Q3809307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2eee81ffed52b0b02778b2912f15556273d5e85","datavalue":{"value":{"amount":"+0.720587968826294","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":"Q1328781$F9EC2CF4-FB9C-4A7D-A646-065CEF7C81E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"IDNAF Prolog","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/IDNAF_Prolog"}}}}}