{"entities":{"Q1275596":{"pageid":1286346,"ns":120,"title":"Item:Q1275596","lastrevid":70543098,"modified":"2026-04-13T15:20:57Z","type":"item","id":"Q1275596","labels":{"en":{"language":"en","value":"Prolog technology for default reasoning: proof theory and compilation techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1238960"}},"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":"Q1275596$A398DCFA-F449-48C5-A6FC-45B3964C01C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fa8e5f18d4458c57a8610e1bb1b0ad0487587e6","datavalue":{"value":{"text":"Prolog technology for default reasoning: proof theory and compilation techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1275596$ED9DCFEF-F242-40AF-93CB-A6CB7EEBC3ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c54648c08c95988b50849a5279ffec38d6adab51","datavalue":{"value":"0909.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275596$B2E2E714-E213-4E8B-95DF-AF892CDDF007","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac98be273858391d6451bb2d15b12e129c358074","datavalue":{"value":"10.1016/S0004-3702(98)00092-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275596$6DF17D75-61E4-46C9-81FE-342FDABC601B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1b02b9e7e03e44c0aa9ad28c14a665e922cd412","datavalue":{"value":{"entity-type":"item","numeric-id":421457,"id":"Q421457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$5B747C2F-D5F8-4025-BA41-E4000FDECC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa4b3b91abee7e894be1eaba82613666c54edb33","datavalue":{"value":{"entity-type":"item","numeric-id":1275595,"id":"Q1275595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$D9F07586-A86D-49A4-8847-C289E65DCEE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$FBD55DF5-7A9E-46F0-8DE7-87C5627F02AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a478bab7af2e688c035f2ebdc0c22a9c2c58e2e","datavalue":{"value":{"time":"+1999-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1275596$BAE15633-043E-41F7-A9C2-F4E755695F59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275596$35D3F9DD-D10A-4C24-8919-DED0B7E3759F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42775791073a608376bc5c284532e2cbc5fcb7ad","datavalue":{"value":"1238960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275596$5AE209C8-F82B-408A-A8EE-A31161C2398A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2f976b8e52bff04fa9f0dfbc6ef2dd6da37e0","datavalue":{"value":"default reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275596$0286358D-5444-4CD2-9D44-7B2C4B2EBEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275596$814D6659-2432-41C3-886E-489B99788FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275596$79596334-4966-4659-8071-FA5A561852E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c98e3dc64270ec0de715f8b38eca46cbd549427","datavalue":{"value":"model elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275596$AA988613-9B47-4DA1-A15D-2F7786E1DC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b393cd7c85b417bbe8cfe76f7fd798f72b08bcc9","datavalue":{"value":"PTTP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275596$846E031A-5DD5-41B4-A357-04AA68A39E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2de3e744e46c06c2afdd5e1dee1416656202517f","datavalue":{"value":"model-based consistency checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275596$DDB69AF8-9593-426F-97DB-021C8C3798C7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$30555527-CB54-4F88-B73F-FB4D2EBDA900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c52067912b0b36fecbbb51adf44957c3c2a0bee","datavalue":{"value":{"entity-type":"item","numeric-id":18797,"id":"Q18797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$09F29032-862C-4F03-86DC-2AA0D07D0739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c847d95fa9da0f9d2847a8e473660863dc136697","datavalue":{"value":{"entity-type":"item","numeric-id":14261,"id":"Q14261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$970E550B-2F25-4E38-8238-E4D421B40BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$48983CB6-90AD-4B89-9C40-D5063DA10816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"648f72141e71ba7eece3437af2f76b81124739c8","datavalue":{"value":{"entity-type":"item","numeric-id":33150,"id":"Q33150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$C7468E42-4729-46A1-95B5-C4D2F74B6007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"daf1126f3bf58ae583160328d0dec0da3aedc25e","datavalue":{"value":{"entity-type":"item","numeric-id":40434,"id":"Q40434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$7935B2C7-52E0-4EA8-9487-C518C124A5AC","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":"Q1275596$CB24705F-F13F-4E7F-AC32-900C27386D48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e005c5656dfe8af90187b5c9f152bbd157e30aa2","datavalue":{"value":{"entity-type":"item","numeric-id":4880541,"id":"Q4880541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$D270E434-060A-42CB-B669-24DA7CB8E32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cf88e79d3e625343e2331080db023b8f6673b9","datavalue":{"value":{"entity-type":"item","numeric-id":3490987,"id":"Q3490987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$E68A16A1-11CA-48D0-9FA9-243817E15A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d51506a7596e8959151c2c9b9334a415c6932a8","datavalue":{"value":{"entity-type":"item","numeric-id":5210764,"id":"Q5210764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$101DF4D1-91F9-4E21-92F1-2097067C84F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$CD2924C0-3B28-41AE-8D29-3E63C89A8BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967ad02dc12dd305038911ec9cd0d2f944eb06ee","datavalue":{"value":{"entity-type":"item","numeric-id":4837944,"id":"Q4837944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$5B44456A-262C-48B8-B49F-8D75E709AF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4259ba96907648c795d34036ee1d1e7daa76735","datavalue":{"value":{"entity-type":"item","numeric-id":5210812,"id":"Q5210812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$04F54FD8-7F6A-43E1-8663-B4A35CB02740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$C9FCAC0D-39D4-4227-958F-B84C5EEBF449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb843d808e9f4e4fd368e3dee0fd99015e905d26","datavalue":{"value":{"entity-type":"item","numeric-id":4610318,"id":"Q4610318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$5203E049-720A-4458-AE88-8C9E726AA47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748a9c8c71e8549a29f10660e53ad1430d49c223","datavalue":{"value":{"entity-type":"item","numeric-id":4645232,"id":"Q4645232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$275FA70A-5F62-4D9D-AADA-336DD02EFB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8769e154d6988adf92501debd547f89ef6976d95","datavalue":{"value":{"entity-type":"item","numeric-id":4202917,"id":"Q4202917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$4B4B9442-65D1-4BFA-BB5F-CC0014560B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f517f93e41f1b83fc185c6676d8edd046e7ca0a","datavalue":{"value":{"entity-type":"item","numeric-id":1187215,"id":"Q1187215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$51940B86-BF8F-4BC4-9F66-F9CF40D3C63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$7A921061-D463-4FD7-AC8B-6BA09BFF4525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c80832e650dd91e7c07ca5fdf93a8580029fd57c","datavalue":{"value":{"entity-type":"item","numeric-id":4474859,"id":"Q4474859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$DED94147-68E0-457F-A8DD-E84B9AEB262D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$5CA6D8D7-5759-4B4C-8459-66013ED82007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$8F2A441D-A0B3-4FDF-9288-4441006F97CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87bd0d661c6f87c4eba3d55a7217fe1c254772e6","datavalue":{"value":{"entity-type":"item","numeric-id":1342221,"id":"Q1342221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$6BF31BA9-F400-41BC-A45C-F5DD78335619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b17ca5304b07e27db69bbaad41f776f31427c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$FE6CD6A0-D628-41A7-ACBF-E58381D77B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$9E35F56D-6F10-4C84-A414-AEC30722DF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e4365ab3617f49a82656c2f347e9995151467","datavalue":{"value":{"entity-type":"item","numeric-id":4296748,"id":"Q4296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$AE686DD5-B52D-40DD-BB33-62F473B3F6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db000a148715b9b08acd76c40acce5f5eace9533","datavalue":{"value":{"entity-type":"item","numeric-id":4028795,"id":"Q4028795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$68FAFF7A-CE9B-4CFC-94A7-D05CB5F63A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f927a92bfb7361a8954519f1790a19e0db351e9","datavalue":{"value":{"entity-type":"item","numeric-id":1123640,"id":"Q1123640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$0D72C10A-8E98-4C0C-B1E5-F214E94D5F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddac4fcfdd35296ca9629e09360867754f55098","datavalue":{"value":{"entity-type":"item","numeric-id":1321059,"id":"Q1321059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$A9C07A45-A016-4274-B5DF-6EE9110AC0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4e41c0c01dd7e35ba56a81e027a6a48826ec1b","datavalue":{"value":{"entity-type":"item","numeric-id":4018170,"id":"Q4018170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$C20A48EF-55B4-45CB-8610-709A3474E6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652bb9806b62fd41be1b87133496e39d71256b01","datavalue":{"value":{"entity-type":"item","numeric-id":3140399,"id":"Q3140399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$75C8397E-0FB1-432C-85D7-0FE63C01A56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bde1b1ec996aeb071ba3c817fedaeed25122f5","datavalue":{"value":{"entity-type":"item","numeric-id":1189726,"id":"Q1189726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$60B8C704-CA06-438D-A309-1107B034F5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158bb2233935470152d2dc667c5dec4b7a43c81a","datavalue":{"value":{"entity-type":"item","numeric-id":1344875,"id":"Q1344875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$108A3688-2F65-47C2-967C-FD5F091B3395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8019a861eaf1dd0ddc55e65e4126288de64d63f7","datavalue":{"value":{"entity-type":"item","numeric-id":4380300,"id":"Q4380300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$B6F0F202-6952-4893-8A10-C4A0E66CE8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$9D8425CA-A46F-4290-8787-03B9BD062CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f72fa731d5ef46f7c8727b7b59f2eaf22c3523","datavalue":{"value":{"entity-type":"item","numeric-id":5544307,"id":"Q5544307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$49BAB60A-265F-40F2-8AD7-1B9B77A22D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b03faa4dbcac10b41e80920dfdcc0083c7771a5","datavalue":{"value":{"entity-type":"item","numeric-id":4273952,"id":"Q4273952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$5032599D-64A9-4AD0-9262-B8B0DE1229DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d171160bdfbdcde1cad944aa0210e21c0aef9ac","datavalue":{"value":{"entity-type":"item","numeric-id":4202924,"id":"Q4202924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$E1FE6947-B394-4105-92E2-BBE2DD4B1035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1368727864aeba50c31bb155f2f6e96f900d3a1","datavalue":{"value":{"entity-type":"item","numeric-id":3807179,"id":"Q3807179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$51A2B4DD-6BB7-4E62-B6DF-D53CC4106340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b68c8a4ffa271b979349dc6d19e230cac3248a0","datavalue":{"value":{"entity-type":"item","numeric-id":1891263,"id":"Q1891263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$7B323589-640C-4C63-837E-94A4FEC121C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d36d567e6c39a959ca33c1c370ae7ae9030db68a","datavalue":{"value":{"entity-type":"item","numeric-id":4692794,"id":"Q4692794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$241A7A09-670B-405D-AE9D-5DBEA991C6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a289898a8cd3f25bfb7533f8cac35a3afaf29bc","datavalue":{"value":{"entity-type":"item","numeric-id":2459704,"id":"Q2459704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$67BB0FEC-BC68-466F-9A2D-C9DDECE161A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd65dcc2f2789d017c7392c53b3e11ee3c4fa3bb","datavalue":{"value":{"entity-type":"item","numeric-id":1104777,"id":"Q1104777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$0A0468E7-97DD-4CFC-AF41-082EC4D0469C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2193ca9a46a9f61773d85b571463d71faad5a094","datavalue":{"value":{"entity-type":"item","numeric-id":3493282,"id":"Q3493282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$473EF4D4-B34D-4D7F-A252-ED7EAD889006","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":"Q1275596$B1227F62-2BC6-4D69-9619-DDA583A36DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac3a55eef82665d7ad7eb4bc7b9c6ea93d04ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1115208,"id":"Q1115208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$A13D2273-26F5-4D20-8EEF-B2250DE9C33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$DA90DFF7-F25E-49B2-AF5A-4D59E94C6E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b708c439c098500da67d50fe581b317ca0afea","datavalue":{"value":{"entity-type":"item","numeric-id":4868235,"id":"Q4868235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$F7CAB6ED-B9DE-452E-BEA7-F2C4B39ACF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0696fcca49153ad88d8b0efffec6e8157121d5d7","datavalue":{"value":{"entity-type":"item","numeric-id":4647525,"id":"Q4647525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$2026ADC2-7A53-4D6E-95DB-F4299D524C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68efa9e5bd739d69f66fc6751c8ddb1542326e4","datavalue":{"value":{"entity-type":"item","numeric-id":1896370,"id":"Q1896370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$0166FEF0-5087-4211-9FBA-02FF4D128CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c26373f9290f003bd967788d08edcaae8c8f149","datavalue":{"value":{"entity-type":"item","numeric-id":4236375,"id":"Q4236375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$B94BD070-675D-4658-9616-340608A9E2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dbd0b8489aba57d80e9eb153dfd238f15cfe905","datavalue":{"value":{"entity-type":"item","numeric-id":1344885,"id":"Q1344885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$AFBB3CB8-6749-4CAF-B29B-BDC0DADF8DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5bd4f24e8eb1a084ca4ac4963d45f487b7e5bb4","datavalue":{"value":{"entity-type":"item","numeric-id":1226867,"id":"Q1226867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$1F97C70E-95CD-48AD-A88B-128DE66FD7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9808046a6f8fa62d1a453b12f211b7893e78bc6","datavalue":{"value":{"entity-type":"item","numeric-id":1199932,"id":"Q1199932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$96317C14-BCC7-4841-98B1-9A50F9D2DDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7697e3748d304d7ab9639d6e56e46ca2421c6fa","datavalue":{"value":{"entity-type":"item","numeric-id":1896366,"id":"Q1896366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$B1F6EF29-2DCA-400D-92D2-78351C003887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b422221addfbb270d3735cce320832b0f5617026","datavalue":{"value":{"entity-type":"item","numeric-id":6488558,"id":"Q6488558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275596$2A3ABE75-4F30-4AE3-9E1D-E7C7FF6CC3DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3109faadada8aa109a0dd6a09ca682b96c61c5ae","datavalue":{"value":"https://doi.org/10.1016/s0004-3702(98)00092-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1275596$42A9D54C-AAF2-46F3-B7BE-ABC7FDF752AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cb81f2acd0b014b8a675a5f39cd455be0f6c0f0","datavalue":{"value":"W4248795502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275596$71F12B88-BF7B-4547-A7F1-291BFC5845D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9b6da3485a4b7234e7d09bd92d9869a9c9648c","datavalue":{"value":{"entity-type":"item","numeric-id":4282499,"id":"Q4282499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"449451d9b18f2834bc1a8a1c9a50bbe4b82a0407","datavalue":{"value":{"amount":"+0.8038336038589478","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":"Q1275596$6ED7ADB0-3740-41EF-B18E-A3A6C01FD71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da1a5e63342a0239fb9bc73fa5c8fb30ef09991d","datavalue":{"value":{"entity-type":"item","numeric-id":4647525,"id":"Q4647525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08982b1e90be739cb326d5210d7da903439cc7d7","datavalue":{"value":{"amount":"+0.7687729001045227","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":"Q1275596$93B4655B-93C5-4387-AA2F-0C8F71A9D8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0abecd54757996c67612e2dff43d33896c71e2d7","datavalue":{"value":{"entity-type":"item","numeric-id":4530457,"id":"Q4530457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed8049bd98d3af86dc2a211b7d3b19af5afc02a","datavalue":{"value":{"amount":"+0.7655502557754517","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":"Q1275596$E6675994-43B3-41B3-95D2-E86C49B53C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc9016ed9a42ecd2abc1309a0f64980763d9bd59","datavalue":{"value":{"entity-type":"item","numeric-id":4246972,"id":"Q4246972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b851ee4c41691cc127065ff618f54fd02997a23","datavalue":{"value":{"amount":"+0.7615960240364075","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":"Q1275596$7569086B-D9A1-4812-B4D6-A5BE4F44553D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Prolog technology for default reasoning: proof theory and compilation techniques","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Prolog_technology_for_default_reasoning:_proof_theory_and_compilation_techniques"}}}}}