{"entities":{"Q688151":{"pageid":690000,"ns":120,"title":"Item:Q688151","lastrevid":63490026,"modified":"2026-04-11T13:30:42Z","type":"item","id":"Q688151","labels":{"en":{"language":"en","value":"Parsing as non-Horn deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440329"}},"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":"Q688151$CAAB3EC9-E4C7-4EA7-870F-075E3F5C00DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca056b87ca9c883b69544c9d1e4a6a7442069129","datavalue":{"value":{"text":"Parsing as non-Horn deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688151$D7192884-DA3C-4178-8541-25F98C6A7DF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82e2d730dd5092a743787ee42a903d1f725b5cc3","datavalue":{"value":"0809.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688151$0B737DD3-6668-4F14-B6D6-2772508D25A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10c04589933a282f901adf59f41f57f101c0e12e","datavalue":{"value":"10.1016/0004-3702(93)90018-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688151$B0590E04-7786-48C7-893C-333FBAC34F05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a20599999d045d40c9b9eed7d2441e6dc5526a4","datavalue":{"value":{"entity-type":"item","numeric-id":688149,"id":"Q688149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$E96B3DCF-7A34-4E25-A242-58FEB478C5BB","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":"Q688151$184C0256-B959-4AF1-898F-C06FF6FE880F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92112234a474f78049341bfb55637019f67e54ac","datavalue":{"value":{"time":"+1993-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688151$62262619-C64D-421C-BDCA-85D9B773C536","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"33f1b7889610350630f66410a351c4dc5f03dfce","datavalue":{"value":"In the the author's paper [Artif. Intell. 63, 225-264 (1963)] the logic programming techniques for collecting answers from Horn clause resolution proofs to the non-Horn case were extended. By a defined program we shall mean a finite set of clauses of the form \\(A \\leftarrow B_ 1, \\dots, B_ n\\). Reiter introduced the well known rule CWA, called closed world assumption: if an atom \\(A\\) without variables is not a consequence of a defined program, then we conclude \\(\\neg A\\). So we can get a negative result by a refutation of a positive result. The second non-monotone rule was studied by Clark: if an atom \\(A\\) is in SLD-set of finite refutation of a defined program \\(P\\), then we conclude \\(\\neg A\\). This rule is weaker than CWA rule. In the considered paper some generalization of Clark's theorem is proved: if \\(\\Gamma\\) is a refutation of \\(T \\cup S\\) where \\(A\\) is the answer set for \\(S\\) in \\(\\Gamma\\), then \\(T \\models \\forall \\neg A\\). Non- Horn reasoning is required to establish negative results, i.e. to refute positive results. It was introduced the answer set for \\(S\\) in deduction \\(\\Gamma\\), as the special set of clauses. The main result is the strong completeness for sets of clauses \\(S\\): if \\(T \\models \\neg SQ\\), then there is a refutation \\(\\Gamma\\) of \\(T \\cup S\\) with answer set \\(A\\) such that every clause in \\(SQ\\) is an instance of a clause in \\(A\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q688151$F366F28C-C6BB-401C-8DAD-B96195CA80CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688151$DAE21B8E-3F97-4046-AC9D-B308EDEB691E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688151$3FC07AFF-D9A1-4E89-911E-BBEC667E2DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688151$3E284373-BE74-456A-AC28-9C3297C3872A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2de5fe4a722661858b25a164ee780504b11f3e9","datavalue":{"value":"440329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688151$62685E5B-8591-4C45-A5A6-036ED985ACA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb9618f4fb4afc31823eef32a5b4ab9f5ffd9971","datavalue":{"value":"logic programming techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q688151$F6C8B8B3-1B77-4FCE-9F56-90109B7CA44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f384098e8f2ae4ef2ba4576b8d375f29034500","datavalue":{"value":"Horn clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q688151$FF0CD6EC-A5CA-470D-8A01-8C27BA5E3CB9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26a9ffefb8275bae44fac28c83666b0b4cd8cc89","datavalue":{"value":{"entity-type":"item","numeric-id":1092654,"id":"Q1092654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$5948982E-B8A3-4B30-B943-593D15639F78","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"166a294686241ebc6cb0e4abbc6516896a5f5a71","datavalue":{"value":{"entity-type":"item","numeric-id":33170,"id":"Q33170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$DDE5CC5E-7C4B-4726-9CEC-9406CDD4FF3B","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":"Q688151$FADCBC18-E633-459C-9A9D-6309E423B722","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1c5ab693be6549024e51b485c2fe3a1ede05082","datavalue":{"value":"https://doi.org/10.1016/0004-3702(93)90018-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q688151$248C91B5-8321-4972-9AFB-D15EDB340EAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9c3772a0a09f0cb934a810107d2c9e25ada8e20","datavalue":{"value":"W2089338354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688151$8A378A5C-73EC-4389-A946-B051301B0517","rank":"normal"}],"P223":[{"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":"Q688151$5FA0A292-F17A-4078-A136-8DC255E211B2","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":"Q688151$70C676A0-2882-401C-A46A-504ACC15B91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c083b847ea81457ded00157ea519284d19e697a3","datavalue":{"value":{"entity-type":"item","numeric-id":3820060,"id":"Q3820060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$FFBA6E65-AD68-478F-A907-ED65DD9F1809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9927fee7861b763d8e6bbe0f79e1ae40c2215593","datavalue":{"value":{"entity-type":"item","numeric-id":5545522,"id":"Q5545522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$779B0EAA-3BFA-4462-BDBF-BAF364A5903E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$7E95F81A-5329-405A-A71C-D47E24A08217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5cc23fc87ed42f4d807d8eab34960d1789ca77d","datavalue":{"value":{"entity-type":"item","numeric-id":3782842,"id":"Q3782842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$E09A2688-32E1-4FB9-A88D-B557D8C4961D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$10BAF291-7DE4-4DFD-A530-71FBD3609A1C","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":"Q688151$2D8A857B-BD92-4CD3-94DB-79B7B04245B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89e7cb7f75aa483464f4d37150bcc6d704387eb","datavalue":{"value":{"entity-type":"item","numeric-id":1177928,"id":"Q1177928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$770B1F21-3AE4-42E9-8244-73A2B538008D","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":"Q688151$D27B955A-0042-420F-8C71-81C9BE58E690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ace3bf3851cb3603b10fadcc13358fc2d3ba2b54","datavalue":{"value":{"entity-type":"item","numeric-id":757031,"id":"Q757031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$1621451C-CF79-442F-805E-8D4AAD9E56B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc7b0f82e42c56ee306811b6c3df8af19432e03","datavalue":{"value":{"entity-type":"item","numeric-id":1231783,"id":"Q1231783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$74301B12-8F85-4521-ACBB-D47978E5697A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb90704920f5f134b6d172f818d255b32ae4d678","datavalue":{"value":{"entity-type":"item","numeric-id":1204865,"id":"Q1204865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$24B267FD-A70A-4A75-BCD0-11052083636C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7830f2f5482fd8f2a9758fed4ee9a03f18b2d55c","datavalue":{"value":{"entity-type":"item","numeric-id":4051642,"id":"Q4051642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$7A4EA7B2-007F-474D-9717-03B58FAB5ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d53a28b01bdaf2102551cb99ed821945979a516","datavalue":{"value":{"entity-type":"item","numeric-id":5541352,"id":"Q5541352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$39B39C9D-8A5A-4DE3-9693-35B000FD2C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c87838b584781103d19d52b6767af2ea2fd4b2b","datavalue":{"value":{"entity-type":"item","numeric-id":3820058,"id":"Q3820058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$F63A279C-91BF-408D-9135-C0F63E9D1DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e19a8839f4a8794351c3d2bb45f6f1e81e4095d","datavalue":{"value":{"entity-type":"item","numeric-id":1143818,"id":"Q1143818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$CC8EBEB5-A067-4D95-87B0-7585C4BD1B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23bb65f0de480cfea02f1c49a74bdb628fca2112","datavalue":{"value":{"entity-type":"item","numeric-id":1825049,"id":"Q1825049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$05F3720D-B406-484F-909B-C76C4B72F050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9f774642fa457c274822192824fe4288fd527c","datavalue":{"value":{"entity-type":"item","numeric-id":3883571,"id":"Q3883571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$C512DAE5-A9A1-4BFD-8CC1-0BDAE8C64219","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":"Q688151$0A93577F-C141-4D89-A7D1-D9F2D885EB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1af0fa3ab79d3aca7d0c2eb038f3a2d86af567","datavalue":{"value":{"entity-type":"item","numeric-id":5541351,"id":"Q5541351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$38179EBE-8786-47CD-9757-B587420943A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75fa1aa534ac66ed4ad81bcb1cc66f1148035e6","datavalue":{"value":{"entity-type":"item","numeric-id":1114440,"id":"Q1114440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$C322AD1C-0860-448B-ACA1-91964DF8F6C4","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":"Q688151$DF511788-9623-4F51-951C-1FB0CFD98664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476391767af08347fbe0deb62b4e8ab98284dbd0","datavalue":{"value":{"entity-type":"item","numeric-id":4277010,"id":"Q4277010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$615DEEC0-FADD-4CBD-A51B-91BD0498C84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69d1a84dd82c8ccb9788f43bbcee993a72393e3","datavalue":{"value":{"entity-type":"item","numeric-id":3750142,"id":"Q3750142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$175AFA71-93D5-4896-B6B4-A01CCEA35A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d3702098a8243c997806fe750f18bb9bed4be0","datavalue":{"value":{"entity-type":"item","numeric-id":3795647,"id":"Q3795647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$596E504D-A48B-4BF6-A6A1-AA116944FFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef75b4b5ae4f1119c1ac9bfdcf91039dbf37c93","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$FB3E8ABA-2AD9-4385-9372-5C467385B31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb0d118b33aef90aecd3a8ab820b8ba2782296b","datavalue":{"value":{"entity-type":"item","numeric-id":1819951,"id":"Q1819951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688151$2BFDD576-E77D-4526-A8F7-41318B283890","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1d923cfb9f94445f405833e3fd3fd5d3dbb7f4","datavalue":{"value":{"entity-type":"item","numeric-id":1422809,"id":"Q1422809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c24b8606be4190bfe0319a8e37572671c473251","datavalue":{"value":{"amount":"+0.7992203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688151$4FE3CAAC-C41F-47DE-9A4E-EB9C4E77579A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98feae1d06fd8c743d43434738fc6e44687bf403","datavalue":{"value":{"entity-type":"item","numeric-id":4244294,"id":"Q4244294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fdcd19f44221e95f6ed662c19a327e93b52086b","datavalue":{"value":{"amount":"+0.7983213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688151$A064F10A-2D23-4ADA-A3F1-7D4E9CB75D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c28068448cc63f83492dd660702628258744d6","datavalue":{"value":{"entity-type":"item","numeric-id":3820058,"id":"Q3820058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2209c958a831a76b381a11bfcf46668db807582","datavalue":{"value":{"amount":"+0.7941628","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688151$614D3E16-C4CB-4045-8383-31283FD3913B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df8fbbcf657b785369a914aadb2153a588ff2f30","datavalue":{"value":{"entity-type":"item","numeric-id":4366603,"id":"Q4366603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ddfa636660c569843d6c5a42fab4494c437aab2","datavalue":{"value":{"amount":"+0.79389495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688151$FCC6EBB0-70A7-48A9-8C69-0FE6A3A0D02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed72e667dffc42a1355f2605337e6ae146b465d","datavalue":{"value":{"entity-type":"item","numeric-id":3125092,"id":"Q3125092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abeef4b02b140a6fd216b95bc4c6972a2f5d34b3","datavalue":{"value":{"amount":"+0.7921206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688151$2189B007-0AF9-49E5-8B1F-56A8FA9E525D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f1031a45b4cd5f7e3350daff411c86ab8841d9","datavalue":{"value":{"entity-type":"item","numeric-id":3210889,"id":"Q3210889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"031a6b35fd3c48d5c76b27e16af8d186f30cadb3","datavalue":{"value":{"amount":"+0.79045546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688151$758421DC-A901-45CA-9D6C-67AC0E9C17D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"086d14b0f72359fcfd1b85e1426d005463edad00","datavalue":{"value":{"entity-type":"item","numeric-id":3727417,"id":"Q3727417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5c59a6697c4973245ad78062bac8f830ba83d49","datavalue":{"value":{"amount":"+0.78110397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688151$CEF33539-7C15-4051-8721-A582C908B77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36f2aa3118a888f6b6cd87a53f54db477adfe244","datavalue":{"value":{"entity-type":"item","numeric-id":1028636,"id":"Q1028636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8799b4dc55edd1581d899ada264de24d15539260","datavalue":{"value":{"amount":"+0.77813804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688151$6E200B63-877E-4BB3-B187-C238D3776B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e29c8b0ed7758f646542ada42e9696456e7142","datavalue":{"value":{"entity-type":"item","numeric-id":4211444,"id":"Q4211444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f649d3897a3f84cda7e28114431fd5b970b290","datavalue":{"value":{"amount":"+0.77200925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688151$83BF5B76-7F2B-4120-9DA9-36050072A1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7efa8a4477ca5c7a5307c26e22f53dd279fc197e","datavalue":{"value":{"entity-type":"item","numeric-id":4275255,"id":"Q4275255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12737dd5b9e4e7e195d64b917259a0936e09f8c5","datavalue":{"value":{"amount":"+0.7708867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688151$07E188B8-9BEE-497D-9DF3-AC8FE4ADE068","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parsing as non-Horn deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parsing_as_non-Horn_deduction"}}}}}