{"entities":{"Q2629858":{"pageid":2640601,"ns":120,"title":"Item:Q2629858","lastrevid":44520876,"modified":"2025-11-23T12:35:30Z","type":"item","id":"Q2629858","labels":{"en":{"language":"en","value":"Synthesis of positive logic programs for checking a class of definitions with infinite quantification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6601723"}},"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":"Q2629858$F817CA66-630F-459D-BB5B-30F2CBE08AB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"445d6e8bebdf7a309a9bd78e0fed0d3335a27569","datavalue":{"value":{"text":"Synthesis of positive logic programs for checking a class of definitions with infinite quantification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2629858$B4568BD2-21B5-468C-8DF7-F2FF9D1925DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47610395a0e91dfbd69f8c864c7bda85b9d41bec","datavalue":{"value":"1353.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629858$CA1832C7-5E9B-4B00-8165-A19A5E8E0AFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0444b4b78d451569828d653d59d651439b633e3c","datavalue":{"value":{"entity-type":"item","numeric-id":2629857,"id":"Q2629857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$E4011F6B-B61E-408E-ABE4-394D68E8E891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b207e632e8fdb0752ce17ad1a18d59413e547569","datavalue":{"value":{"entity-type":"item","numeric-id":963447,"id":"Q963447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$445EADA2-0975-48D9-B561-A4D6F299CA44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$9DAF66EE-03E4-4219-BCE8-D78145DC3BA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83a193227d6ba6906cd45e4bab84652b56c48091","datavalue":{"value":{"time":"+2016-07-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":"Q2629858$3B220261-8ADA-4AA5-A212-4A0798294CEE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3795cefeb06d9269d2cac4a6f78549d992789621","datavalue":{"value":"The framework is based on typed first-order logic theories such as the following:   Types: {\\parindent=0.7cm\\begin{itemize}\\item[--] Nat generated by \\(\\mathrm{zero}:\\rightarrow\\mathrm{Nat}\\quad\\mathrm{succ}:\\mathrm{Nat}\\rightarrow\\mathrm{Nat}\\) \\item[--] Seq generated by \\(\\mathrm{empty}:\\rightarrow\\mathrm{Seq}\\quad\\mathrm{succ}:\\mathrm{Nat}\\times\\mathrm{Seq}\\rightarrow\\mathrm{Seq}\\)  \\end{itemize}}   Predicates:   \\(\\mathrm{id}:\\mathrm{Nat}\\times\\mathrm{Nat}\\) axiomatised as: {\\parindent=0.7cm\\begin{itemize}\\item[--] \\(\\mathrm{id}(\\mathrm{zero},\\mathrm{zero})\\Leftrightarrow \\mathrm{true}\\) \\item[--] \\(\\forall(\\mathrm{id}(\\mathrm{succ}(X),\\mathrm{zero})\\Leftrightarrow\\mathrm{false})\\) \\item[--] \\(\\forall(\\mathrm{id}(\\mathrm{zero},\\mathrm{succ}(Y)\\Leftrightarrow\\mathrm{false})\\) \\item[--] \\(\\forall(\\mathrm{id}(\\mathrm{succ}(X),\\mathrm{succ}(Y))\\Leftrightarrow\\mathrm{id}(X,Y))\\)   \\end{itemize}}  \\(\\mathrm{member}:\\mathrm{Nat}\\times\\mathrm{Seq}\\) axiomatised as: {\\parindent=0.7cm\\begin{itemize}\\item[--] \\(\\forall(\\mathrm{member}(E,\\mathrm{empty})\\Leftrightarrow\\mathrm{false})\\) \\item[--] \\(\\forall(\\mathrm{member}(E,\\mathrm{seq}(X,Y ))\\Leftrightarrow\\mathrm{id}(E,X)\\vee\\mathrm{member}(E,Y ))\\)   \\end{itemize}}  The authors consider \\textit{assertion definitions} of the form \\(\\forall X(r(X)\\Leftrightarrow Q Y R(X,Y))\\) where \\(r\\) is the defined relation, \\(Q\\) is a quantifier, and \\(R\\) is the defining relation, namely, a quantifier-free formula in the language of the typed first-order logic theory. For example, the following is an assertion definition for the subset relation:  \\[  \\forall L,S(\\mathrm{subset}(L,S)\\Leftrightarrow\\forall E(\\mathrm{member}(E,L)\\Rightarrow\\mathrm{member}(E,S)))  \\]   The purpose of the paper is a method to synthesise a positive logic program for checking assertions of the form \\(r(X)\\theta\\), where \\(\\theta\\) is a ground substitution for \\(X\\), that depends on the quantifier \\(Q\\) in such a way that if \\(Q\\) is \\(\\forall\\) then the program searches for refutations, whereas if \\(Q\\) is \\(\\exists\\) then the program searches for proofs. The method satisfies both key requirements:  {\\parindent=0.7cm\\begin{itemize}\\item[--] the synthesis process terminates after a finite amount of transformation steps; \\item[--] the synthesised program preserves total correctness w.r.t. the class of goals of the form \\(\\Leftarrow r(X,Y)\\theta\\).   \\end{itemize}}   With the example of the subset relation, the synthesised program is:  \\[ \\begin{aligned} \\forall(\\mathrm{subset}(L,S) \\Leftarrow \\mathrm{subset}_1(E,L,S))\\\\ \\forall(\\mathrm{subset}_1(E,\\mathrm{seq}(X,Y ),S) \\Leftarrow \\mathrm{subset}_2(E,S)\\wedge \\mathrm{subset}_3(E,X))\\\\ \\forall(\\mathrm{subset}_1(E,\\mathrm{seq}(X,Y ),S)\\Leftarrow \\mathrm{subset}_1(E,Y ,S)\\wedge \\mathrm{subset}_4(E,X))\\\\ \\forall(\\mathrm{subset}_1(E,\\mathrm{empty},S) \\Leftarrow \\mathrm{subset}_5(E,S))\\\\ \\forall(\\mathrm{subset}_2(E,\\mathrm{seq}(X,Y )) \\Leftarrow \\mathrm{subset}_2(E,Y )\\wedge \\mathrm{subset}_4(E,X))\\\\ \\forall(\\mathrm{subset}_2(E,\\mathrm{empty}) \\Leftarrow \\mathrm{subset}_7)\\\\ \\mathrm{subset}_3(\\mathrm{zero},\\mathrm{zero}) \\Leftarrow \\mathrm{subset}_9\\\\ \\forall(\\mathrm{subset}_3(\\mathrm{succ}(X),\\mathrm{succ}(Y )) \\Leftarrow \\mathrm{subset}_3(X,Y ))\\\\ \\forall(\\mathrm{subset}_4(\\mathrm{zero},\\mathrm{succ}(Y )) \\Leftarrow \\mathrm{subset}_9)\\\\ \\forall(\\mathrm{subset}_4(\\mathrm{succ}(X),\\mathrm{succ}(Y )) \\Leftarrow \\mathrm{subset}_4(X,Y ))\\\\ \\forall(\\mathrm{subset}_4(\\mathrm{succ}(X),\\mathrm{zero}) \\Leftarrow \\mathrm{subset}_9)\\\\ \\forall(\\mathrm{subset}_5(E,\\mathrm{seq}(X,Y )) \\Leftarrow \\mathrm{subset}_5(E,Y )\\wedge \\mathrm{subset}_4(E,X))\\\\ \\mathrm{subset}_7 \\Leftarrow\\\\ \\mathrm{subset}_9 \\Leftarrow\\end{aligned} \\]   following a procedure that consists of 6 steps, with intermediate formulas generated on the way, in particular:  \\[ \\begin{aligned}\\forall E,L,S(\\mathrm{subset}_1(E,L,S)\\Leftrightarrow(\\mathrm{member}(E,L)\\wedge\\neg\\mathrm{member}(E,S)))\\\\ \\forall(\\mathrm{subset}_2(X,Y )\\Leftrightarrow\\mathrm{true}\\wedge\\neg\\mathrm{member}(X,Y ))\\\\ \\forall(\\mathrm{subset}_3(X,Y )\\Leftrightarrow\\mathrm{id}(X,Y ))\\\\ \\forall(\\mathrm{subset}_4(X,Y )\\Leftrightarrow\\neg\\mathrm{id}(X,Y ))\\\\ \\forall(\\mathrm{subset}_5(X,Y )\\Leftrightarrow\\mathrm{false}\\wedge\\neg\\mathrm{member}(X,Y ))\\\\ \\mathrm{subset}_6\\Leftrightarrow\\mathrm{false}\\wedge\\neg\\mathrm{false}\\\\ \\mathrm{subset}_7\\Leftrightarrow\\mathrm{true}\\wedge\\neg\\mathrm{false}\\\\ \\mathrm{subset}_8\\Leftrightarrow\\mathrm{true}\\wedge\\neg\\mathrm{true}\\\\ \\mathrm{subset}_9\\Leftrightarrow\\mathrm{true}\\\\ \\mathrm{subset}_{10}\\Leftrightarrow\\neg\\mathrm{true}\\end{aligned} \\]  The method has been tested with many other assertion definitions, listed in the appendix, together with the proofs of termination and correctness.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629858$A162109F-9E8E-4932-911B-F0F9F7E3320D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc4d92eeceef517aba402e89c4445d8783074b3a","datavalue":{"value":{"entity-type":"item","numeric-id":169436,"id":"Q169436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$82A50210-095C-4D40-B835-14D0BA1F0A21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629858$820CD90E-0D6C-4A5F-A7E7-1AB655955E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629858$F5B3FB49-0BB4-459E-827E-ABE730DA1E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629858$2C4413CB-4185-4D0D-AEEB-72386B05F5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629858$A10A3F3C-61DB-4DE4-83C6-AB225EE77749","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fee855eab615d6af36c612c2eb597e5c089b6e15","datavalue":{"value":"6601723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629858$2ACD7A9B-2B43-4034-BE8B-44D7F348EB8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7504e649fc9ad163f2b9ebf5adbf20c322ab2ba7","datavalue":{"value":"program assertion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629858$DFBBE6E8-3773-42E7-8062-960E58E48C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629858$980F009A-D808-4038-824B-8F7E96C0C541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629858$B78DF27F-6A4A-41CF-89C1-1BFEDB0DF4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"878f776ed35cc5d9aa218e7d87f4a816e3e0eca3","datavalue":{"value":"unfold/fold transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629858$1B473194-1B30-446F-ADCD-D00407BA1F49","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$2EFF556C-1500-4E6C-86CE-0230F3476FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$45E0B923-661E-45AB-A6F7-F82D32F11D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$7D7F05DE-12E2-49A1-B80A-EAF2C4F7BDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$9E5E84CE-D048-4032-B7D7-F85CDC011534","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":"Q2629858$523D963A-4A4B-4FE9-90C3-8E42682AD580","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"475f2c848b0e09279a3e535077d0ccade595c494","datavalue":{"value":"https://doi.org/10.1016/j.ic.2016.06.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q2629858$05D75587-694A-4BC4-A328-B6772FFDEC5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77ee152df92f6ba2ea5afe5d4aa3f7ad056091c0","datavalue":{"value":"W2439147558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629858$A3E6E19E-74E0-46AD-B083-F6576CA9E2FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02eeb10cb50a02d090ad395a3c2c363c71340d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4305624,"id":"Q4305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$8B1D128A-1709-44DC-9C71-B9F0091F0F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53ee1ce1792d692329898f0a992aeaf81279eee3","datavalue":{"value":{"entity-type":"item","numeric-id":5712543,"id":"Q5712543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$86685D64-6841-42B4-B968-0755B6BF7322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846bacafc34c968f7656ec861c5f8c80b9c913fa","datavalue":{"value":{"entity-type":"item","numeric-id":2908472,"id":"Q2908472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$FA6B0E4B-538F-4FB7-8211-706C6BB5EF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c733b1da30192ed4430e53f5654effbaad7fe8","datavalue":{"value":{"entity-type":"item","numeric-id":2785674,"id":"Q2785674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$1788BE7B-4845-4409-AB7F-65C7181F2C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f93041fe6d7db6318dfbd457c9a855fed097172","datavalue":{"value":{"entity-type":"item","numeric-id":4713088,"id":"Q4713088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$AF5F01B7-64EB-4875-B3F9-924375677A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$EEFB2C00-3BD2-4695-8F60-939A24EA0596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$901D100F-CCFC-43DB-980E-37C2D21DB35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$4868A2FA-A433-4108-81EA-E9DAD75FB101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5f3caca270c070dfa9a263acc73284f97e829e","datavalue":{"value":{"entity-type":"item","numeric-id":3992667,"id":"Q3992667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$40E403AD-339D-47BC-8554-698736E5573A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d41d71a0adbde6caf00b749ad37ee0e9ec473936","datavalue":{"value":{"entity-type":"item","numeric-id":4707743,"id":"Q4707743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$FFDF6073-D29C-4315-9C82-914F824DC313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711ed90334924f108282ecfc93f3c0df30509161","datavalue":{"value":{"entity-type":"item","numeric-id":5901620,"id":"Q5901620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$0FDA85B0-6429-4147-B774-8A97A9486E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d425524c539f34b2c20b8cfec23a758c1eb81a6","datavalue":{"value":{"entity-type":"item","numeric-id":3608772,"id":"Q3608772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$7ADD9BD2-372E-484A-B7D2-8A1AC050482E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ad83169ed8389564075d9eacd3961be1c6400d","datavalue":{"value":{"entity-type":"item","numeric-id":3189843,"id":"Q3189843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$DB2DB6BE-DD0C-42F9-86C9-20927233D8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$339DA275-E747-43BA-AFEC-A5870A54AF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4aacb26a2f6eb48ad6441a165669579076c7401","datavalue":{"value":{"entity-type":"item","numeric-id":3916005,"id":"Q3916005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$407ECCE4-F922-4132-9D0B-71AE2C97109F","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":"Q2629858$D5C57142-52D4-4EA9-9437-1CE76AE960EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a744b13fccf4a7ffa4539f069aa091ed719c920f","datavalue":{"value":{"entity-type":"item","numeric-id":3355225,"id":"Q3355225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$66AAECB3-C5D9-48FB-93B5-002B84CAFCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$DB640628-D7BF-4661-821B-BA2E833309C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3080bd85d1970847e3833afbfbc0c32fcc932e60","datavalue":{"value":{"entity-type":"item","numeric-id":4024014,"id":"Q4024014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$1C6505DD-872E-4634-B6F2-D6C9875D21E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ad21c4a3a098255dd2efb1e77599202b4348a9","datavalue":{"value":{"entity-type":"item","numeric-id":3690194,"id":"Q3690194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$1FAAA595-CF91-4DB0-8FFC-0EE41B0EA5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeed417b6ea3fc56635f454299099813b23e5bad","datavalue":{"value":{"entity-type":"item","numeric-id":4855375,"id":"Q4855375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$086510AC-8E80-4E0C-9D76-B8A78581C3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28deebb9f03725888e2cb415bbaa29688963935e","datavalue":{"value":{"entity-type":"item","numeric-id":2751358,"id":"Q2751358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$48DF9F79-D0E1-4564-9392-612FA4EB99AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed7396d33acb5bffa89e4a8552f1e6bdaea2114","datavalue":{"value":{"entity-type":"item","numeric-id":3996676,"id":"Q3996676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$C8B33AB1-22AE-4787-8A71-D83BEB349C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808e39bccff475c7b654b044a520d206c22bcccd","datavalue":{"value":{"entity-type":"item","numeric-id":4939537,"id":"Q4939537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$CF7436F2-7CF2-43C7-B509-CB906DE2D8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361a2bb2feb35e5647570074532f8bde616c037e","datavalue":{"value":{"entity-type":"item","numeric-id":4707742,"id":"Q4707742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$9574C720-B191-4103-8463-16B4313C2545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e357561b24d9113100e0759ecfadf0c69ade7ba0","datavalue":{"value":{"entity-type":"item","numeric-id":673496,"id":"Q673496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$4EC47933-14DE-44AE-AF38-2B388CBB618B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc7ce782192afebee533fd99280edb83d8498c1","datavalue":{"value":{"entity-type":"item","numeric-id":3201745,"id":"Q3201745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$66E244F9-8230-4F79-AF82-FD911D91D58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0492ad67fcf2041e7ec872a6a059ff7e840c6836","datavalue":{"value":{"entity-type":"item","numeric-id":1200980,"id":"Q1200980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$A949F75A-F07F-4B59-B52F-0F37A2C27AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29952e6d73ce2eba4a577f9905a2b718fd373a81","datavalue":{"value":{"entity-type":"item","numeric-id":908686,"id":"Q908686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$E358C68E-58AD-4CAB-977C-45F7775236AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0978a96d0c7eac5a04d9f1e9c0fbeb4fe2b622a4","datavalue":{"value":{"entity-type":"item","numeric-id":5286915,"id":"Q5286915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$C8218BCB-0033-4518-A256-4E147CB6A737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0c92d03289446e128e8c1b5528c6f94929a65a","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$52131564-D01A-42D1-9B4A-CE9BCED1B248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68fff7cd23dc9fed5e2bdbe657efa6e902461ce6","datavalue":{"value":{"entity-type":"item","numeric-id":2893092,"id":"Q2893092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629858$7F00445F-4856-4DD3-B1BC-3D9BC52001AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d3f080e518ec81ae953e87cb30ef814bd554fa5","datavalue":{"value":"10.1016/J.IC.2016.06.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629858$1CE8C320-4144-4C4B-A860-DDD437FDBF08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512c7479d7f7e95622afbd8a84e497281a7c2c89","datavalue":{"value":{"entity-type":"item","numeric-id":4708939,"id":"Q4708939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b3180f269692a5439ffa366c6556f839ce3392","datavalue":{"value":{"amount":"+0.8693441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2629858$1CDF54B5-6F06-4917-B6B2-C9513168DEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc4c014f2346486639055aaeda0625c419e549c0","datavalue":{"value":{"entity-type":"item","numeric-id":3718148,"id":"Q3718148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42140a87ec5769f2adc89b63f6c5e0af6d44a666","datavalue":{"value":{"amount":"+0.8675102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2629858$65DE71CD-4D44-41C2-B3F8-636F4A79304C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ed6e64f71f3ca960a1204ab3c9772aa3ef5c5fe","datavalue":{"value":{"entity-type":"item","numeric-id":1326778,"id":"Q1326778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b668e46216e381eac129e5954d1fb3517e1e9c","datavalue":{"value":{"amount":"+0.86322284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2629858$B22F8D82-F5FA-4595-B7A7-112C89786909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7223ea97d0680b121a1433900756e5c525b5f769","datavalue":{"value":{"entity-type":"item","numeric-id":4421867,"id":"Q4421867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f98a64f42144748e2d20225e28566d8a876692","datavalue":{"value":{"amount":"+0.8610364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2629858$1ACE5FC0-D5EB-4E65-B680-A51406ED843F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0692647d9308d3886ce92ee2e5d527c3df406711","datavalue":{"value":{"entity-type":"item","numeric-id":987828,"id":"Q987828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1569391f4e71b0281077e44eef0707e4217af8f5","datavalue":{"value":{"amount":"+0.8572703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2629858$DE749ED4-DB03-4D77-8F19-C23CB96038EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3caab9149e9e6d78e14fdc76a58d9add3e34c800","datavalue":{"value":{"entity-type":"item","numeric-id":4029601,"id":"Q4029601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ff618577cb3e22bbfd968e363f50b934da61d2","datavalue":{"value":{"amount":"+0.8559664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2629858$A129915E-6253-464D-AE5B-D247FBE89214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0143549ab0739cdae5b91cd5d47e09062d0cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4939270,"id":"Q4939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac233b47f5d082a349cf4bfa35245b1b216f00e","datavalue":{"value":{"amount":"+0.855545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2629858$CFBEA8E9-18D7-44A1-BB0A-45668A406BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31b0dbb454505d2a45dde5949ba09b184f05e9b","datavalue":{"value":{"entity-type":"item","numeric-id":4451641,"id":"Q4451641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cedd5044827ad25b687b2429c2d2ce5534cbb8fd","datavalue":{"value":{"amount":"+0.8546991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2629858$84BFAAD9-9936-4DD7-8D13-89E378D25EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ebc073a48b6987817115c78d815f192b93a56d6","datavalue":{"value":{"entity-type":"item","numeric-id":5013624,"id":"Q5013624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e41f8f95390486e1d9f8dbcbead3ffffdb6fad0","datavalue":{"value":{"amount":"+0.8544507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2629858$1FF5E5DA-CD5F-44F1-978E-900A6765C446","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2629858","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2629858"}}}}}