{"entities":{"Q758216":{"pageid":760065,"ns":120,"title":"Item:Q758216","lastrevid":64149090,"modified":"2026-04-11T17:57:58Z","type":"item","id":"Q758216","labels":{"en":{"language":"en","value":"Automating inductionless induction using test sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4195214"}},"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":"Q758216$97ED3838-8BAB-4EBC-9C47-B2B505EFDEEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"973321e144a12e4ce005e8337300875c3f286769","datavalue":{"value":{"text":"Automating inductionless induction using test sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q758216$84D1DA53-7764-412C-BBC5-67C6D3EB6073","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23b50d7e43ea0ca1fc6787103c7e95d5cdaac09a","datavalue":{"value":"0724.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758216$3FDEB40E-B30C-4EF9-917E-28D8888B0894","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d47cd1833802ac7df7f99bf23c0006271dac8c69","datavalue":{"value":"10.1016/S0747-7171(08)80133-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758216$D52F32BC-003A-4CB2-BC2C-04C859C3669E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$812C5A2F-F9F6-467F-895E-D5156E63710F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$CC67AAB2-7915-467C-B859-3E12C3DD0BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b168abea7db04055f6cf4c99009d9572497bb1","datavalue":{"value":{"entity-type":"item","numeric-id":1617008,"id":"Q1617008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$884C9B2D-182A-456E-A6D4-E6A268DC31B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$68872DA7-9636-489D-B42B-008D7EA75FAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q758216$2E7A63AD-D0DB-481B-874C-1CB923D52775","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758216$0CB6AB54-8B7F-4222-85E4-875EE0131D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758216$F4820A0F-5D3E-4BC3-9F01-5689F948EB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758216$D4318C85-12C7-4DE1-B2DA-8454FE1D22F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae7375725b14721fc426353ffb99100d443f648e","datavalue":{"value":"4195214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758216$8470C46C-9F72-4F0B-B5D7-64F4EE8A28D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338a0fbf1321309eb519d204c050cb5e89adf9b3","datavalue":{"value":"inductionless induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q758216$75CA43D2-89F2-4F89-B4A9-FE4047FF66AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ba0c21c8c88a36786ad654535e9eaf5cecbe1a1","datavalue":{"value":"proof by consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q758216$BB6A98DA-8763-4F35-B321-D335855D61FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3783df59647a950f9dab833b02656c2c8328b54","datavalue":{"value":"test sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q758216$992DD87C-85B5-48CA-850D-4B461B0966D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q758216$878DA9CE-50B0-4BF7-B283-E475075A747A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b2e397cb5c4013fcdfa0b3df5e13acd93274a13","datavalue":{"value":"ground-reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q758216$E564CE39-FB12-4924-9C93-7DDC920B4D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q758216$60E4A864-D617-4D8E-B610-D926BDCB4782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3250a679ecc2c0e0e3809d649204a74e5571e286","datavalue":{"value":"sufficient-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q758216$82309735-FDE8-4FFE-9B3D-F5A0BEFDCD96","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ebf2accc5d6c6b3c7a81ee7493fd53a6bf250","datavalue":{"value":{"entity-type":"item","numeric-id":40618,"id":"Q40618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$077BB53C-1B37-4659-856E-3118D8DDF4FB","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":"Q758216$EEAAC302-50D3-4A81-8BAB-EFD08F47AE9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7a76e3d93219f8f35922f7e651242be822568a","datavalue":{"value":{"entity-type":"item","numeric-id":3208084,"id":"Q3208084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$DE661509-29FB-4F75-9445-7EE015A3B4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832de6b4823f54c6ca4b13abacfb4f83b948a7eb","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$8ACAE41B-0E49-4440-9FD7-FB8EC839E884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$23153560-D4C8-4D88-9F6E-F14BCFAAF9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$69F8D971-4B23-4641-83E3-BFA5154F5769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$6467FD5A-4E34-4ECD-B9F4-03E53B41C8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dd076536f3668f703f8f8e17b2cfee8106654e","datavalue":{"value":{"entity-type":"item","numeric-id":1154801,"id":"Q1154801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$BDCABEB9-2E67-4E39-BB54-B373ED84693A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$BA38D551-4201-4850-AD6F-E3FB99ADD0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5bfb17208f024589c23d81de3c137cadf1eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$75DD7788-C095-4E4A-BB4F-449817FAC30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989303c3f01780ec3752ac791fe5233d16a37b4","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$08EFA1EF-C056-4011-B390-603E04CD9285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a00e564510c152430ba9f59c7b7c4f0c9042fc","datavalue":{"value":{"entity-type":"item","numeric-id":1106657,"id":"Q1106657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$8FF8F5EE-7104-4500-943E-80125F893073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fbe446638a30935c3b4739bf981a9ef50f564f2","datavalue":{"value":{"entity-type":"item","numeric-id":913496,"id":"Q913496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$8EFFF3D6-928D-4DA9-9976-AD1DE64FA5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b6dd845b09766d86352775db28650377d2267f","datavalue":{"value":{"entity-type":"item","numeric-id":2641108,"id":"Q2641108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$05088C43-1272-4D46-83BE-1718F807120A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cfe00f727b087a386cc5c62c253e81e5e8c7c0","datavalue":{"value":{"entity-type":"item","numeric-id":3783519,"id":"Q3783519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$B6B8F214-6AE6-4504-B021-A78AADDA853E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$DDCC5D48-276A-469A-BEB3-39CAD230482A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$0C6EBBDD-F4BE-402B-9D1A-0CBD6BF82712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a3ec1e159bd1943261f2117168841011130fdd9","datavalue":{"value":{"entity-type":"item","numeric-id":3713575,"id":"Q3713575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$69256AD8-8EA3-4371-B679-8BCD71CE1D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b81bac0c83a1bb3be4d60a72c12b74b133412b10","datavalue":{"value":{"entity-type":"item","numeric-id":3702510,"id":"Q3702510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$EF17DD64-D5C8-407A-9512-ACF97EC6C9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"136dca5eaf30010d2d4c0f6c9100d687138b0eac","datavalue":{"value":{"entity-type":"item","numeric-id":3956381,"id":"Q3956381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$A640E2F9-3DE9-4D3A-A25C-FADA23379E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d03a1c424bcaeb63f633ac851296a587c7c9dd","datavalue":{"value":{"entity-type":"item","numeric-id":3732980,"id":"Q3732980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$D3C30AEA-37C6-4266-AF0C-444BA0BBA0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c644393292b3f41469d648371f2669fdfbbd2a","datavalue":{"value":{"entity-type":"item","numeric-id":3805961,"id":"Q3805961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758216$81FB2A21-487E-4B56-919A-AC0955D8D48E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab53ef36dc210a48dcdf00c31cd9e5e8fbc817f5","datavalue":{"value":{"entity-type":"item","numeric-id":3783519,"id":"Q3783519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f8a69c3d1e847f1cb16aa97645ef333cf1fe42","datavalue":{"value":{"amount":"+0.9072884321212769","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":"Q758216$244CE1BF-0014-468B-91EF-BFFD6B6FE78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7d1c79c5d9622e1eeadc1aaf2b3855954e4971","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae8b3ed70665d5a1e977697013396752d497c48","datavalue":{"value":{"amount":"+0.8623520135879517","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":"Q758216$92C755DA-4024-4B61-8101-CA992F2AB793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b4a2fec8240cef8b3354cfe1bcecda862f0031","datavalue":{"value":{"entity-type":"item","numeric-id":1355757,"id":"Q1355757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57073aa346fcf8a5565369b7aef64a3f3fc5b39b","datavalue":{"value":{"amount":"+0.8424875736236572","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":"Q758216$AF3CF365-B715-4D9B-B426-51922339AD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95624fd48ac22c1d1a10022afeb19a857a2d7c86","datavalue":{"value":{"entity-type":"item","numeric-id":4712663,"id":"Q4712663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc064ab1114848c6fda07a62d684abe22057f4a2","datavalue":{"value":{"amount":"+0.8341572284698486","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":"Q758216$BE31F3FA-46C1-4911-8AFA-D53CC1A72291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58fd391857709a1825aaf51abf8d91be995f87d0","datavalue":{"value":{"entity-type":"item","numeric-id":3347863,"id":"Q3347863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f18e52d8079eadbebfec0453f0a199076c4cd52","datavalue":{"value":{"amount":"+0.8312816619873047","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":"Q758216$8834C3D0-8CAB-4211-B5BB-56197D81EF08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automating inductionless induction using test sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automating_inductionless_induction_using_test_sets"}}}}}