{"entities":{"Q6488519":{"pageid":14067288,"ns":120,"title":"Item:Q6488519","lastrevid":47845606,"modified":"2026-01-02T20:57:15Z","type":"item","id":"Q6488519","labels":{"en":{"language":"en","value":"A complete semantic back chaining proof system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680795"}},"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":"Q6488519$D6DA13CC-38E8-4255-9007-224F67F2CEAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5ac2e1a09ffd85086e1eacd84f47adc688e38b5","datavalue":{"value":{"text":"A complete semantic back chaining proof system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488519$31ABDF47-C0F2-4687-A8B0-8196F54FE105","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de11c7485c57382c3dccb7bcec92ca29a07f3f93","datavalue":{"value":"1509.68315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488519$C2D55D42-5775-407B-9F7E-78D52F5FDAB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7dedb0fb5b8c151c514fa39a81b9d8731b0e243","datavalue":{"value":"10.1007/3-540-52885-7_76","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488519$7B458E7C-D407-414A-8B22-AF0FAFC86A11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b6721df2a0037b15fd86f65472c88ec7ecc0ce5","datavalue":{"value":{"entity-type":"item","numeric-id":582115,"id":"Q582115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488519$FB27EA92-68D1-4065-B217-98DA1C6A70A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488519$258952CB-B109-4165-9C83-FD892EB1D589","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488519$374653BD-5818-4F9F-8D2E-EB1CEFE4F08F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488519$8E0ED93E-27E2-4EB5-979B-FB96C58A0352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488519$FAF2A26B-3CEA-463E-A5F7-33D4FB68FDD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19b349b6fbe5c81ab7411f8926eedaf6d0388a77","datavalue":{"value":"7680795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488519$6C9F8B72-64FA-4B59-A99F-2F4292B63AFB","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":"Q6488519$BDD4614A-1788-4994-BD2A-CA271D31DA56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2c2b382c3725436e250ac6e5f951d42a292c14","datavalue":{"value":{"entity-type":"item","numeric-id":3954845,"id":"Q3954845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488519$31A4D06A-1FBA-4F4E-BC12-CFD1957A5727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdf21144d9e32553e8f12d339373f204fb256fe","datavalue":{"value":{"entity-type":"item","numeric-id":5721424,"id":"Q5721424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488519$9C6A5A72-2DF0-4BCA-996B-C0801BC394D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8586c92c4d90a06cb521bef03111f958a597fe2e","datavalue":{"value":{"entity-type":"item","numeric-id":5574714,"id":"Q5574714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488519$6CC72FCB-EFA7-46C9-B35A-054971B75404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cc6b50da59d61e4104676cfaa2ed0a6b850865","datavalue":{"value":{"entity-type":"item","numeric-id":5619635,"id":"Q5619635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488519$16DFB0B3-25D1-43C0-9337-1CDF192EE861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43919d1f4da3b9a07eea3d230b3f18d880d5940","datavalue":{"value":{"entity-type":"item","numeric-id":1116717,"id":"Q1116717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488519$F9641D3C-DCC4-47CA-B813-B04DC955B189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741bca91778ccb8a74c0e336f5cb913dd02dbdd0","datavalue":{"value":{"entity-type":"item","numeric-id":4088303,"id":"Q4088303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488519$09FC1567-F6C9-4FC9-929B-7D72BECBF59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488519$11A97C34-ECAF-427A-96B6-CD773DA6972A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc6b5f087fec6d157af216327e534fa3b171462","datavalue":{"value":{"entity-type":"item","numeric-id":1148892,"id":"Q1148892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488519$50C3D940-96A2-4D0B-BF06-017CD17A9E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f771f551f48b2f2d21f6f2011008cb21eb26e492","datavalue":{"value":{"entity-type":"item","numeric-id":5538933,"id":"Q5538933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488519$52C510B8-B4F7-4D6A-83CE-4CB53B3AFD84","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":"Q6488519$80FD0ED4-5AD5-45E4-A70B-5EAC469D253D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ad23ca61534fce39d231de8434f91a2de01c5c","datavalue":{"value":{"entity-type":"item","numeric-id":1098332,"id":"Q1098332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488519$183784EF-AC08-44A2-9B54-000FED742255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488519$BE9D39DA-2A08-44EA-8AB2-58AC27B68F43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6229ed6ee13a0235fa98404c346ac6cd6ce20b8b","datavalue":{"value":{"entity-type":"item","numeric-id":1193483,"id":"Q1193483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c6b1ed41ba396297ea4e47c1dc22864873fa3b","datavalue":{"value":{"amount":"+0.932646095752716","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":"Q6488519$9B8C2523-0C7F-4E25-90C7-9802D7504DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44af30343c97035db2458d44e2bc37c41941abdc","datavalue":{"value":{"entity-type":"item","numeric-id":3491006,"id":"Q3491006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f3c59c5c0d211c43c98af10b5598b8be5f72d3","datavalue":{"value":{"amount":"+0.829730749130249","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":"Q6488519$E453E800-BDF9-48A0-AD3D-3806018F1ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8685d12c668c5305ca1caae76f7d99ad21a6bbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3708773,"id":"Q3708773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2b465082d9b16471338894ad0c5900977f8771","datavalue":{"value":{"amount":"+0.7598200440406799","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":"Q6488519$0C8DA58B-92E6-4A5A-BCAC-3CA5829A3AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381f565f463e4304e5538756b9c57fdc790c4603","datavalue":{"value":{"entity-type":"item","numeric-id":2639044,"id":"Q2639044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d1e0bed2f3316774ecadbd485e33d89781c699","datavalue":{"value":{"amount":"+0.7588973045349121","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":"Q6488519$704FE9AC-48E5-4B35-9E13-17A537BC2C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3328acb14c381645dbb1f9eb31b744a4a34bbbc0","datavalue":{"value":{"entity-type":"item","numeric-id":5210762,"id":"Q5210762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47a267e11e22884e754538eb750677e938aef33d","datavalue":{"value":{"amount":"+0.7470007538795471","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":"Q6488519$6BBDB2E2-3BE0-4301-877E-E73E2DAAE7C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488519","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488519"}}}}}