{"entities":{"Q860828":{"pageid":862676,"ns":120,"title":"Item:Q860828","lastrevid":64899582,"modified":"2026-04-11T22:58:24Z","type":"item","id":"Q860828","labels":{"en":{"language":"en","value":"Learning of erasing primitive formal systems from positive examples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083489"}},"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":"Q860828$556AD129-717F-4987-9477-93745DB1BF36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7c17cb55bf52a852bbfc515c963fc3f25be162d","datavalue":{"value":{"text":"Learning of erasing primitive formal systems from positive examples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860828$15A9FD6A-B9C3-4BC0-B2C9-7CEC8DF43FAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91b09eb934db6e0c36968603fb7245a6c021b395","datavalue":{"value":"1110.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860828$CBCE2309-85CB-4A89-A8E5-F186E16CA183","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d01d2c59d7fb6b73bf7266bfd5d0d40f7df8c33","datavalue":{"value":{"entity-type":"item","numeric-id":860826,"id":"Q860826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$97A4A896-AF40-4B4F-9951-8784BD93E0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c2cb83ff45f69498daf3fb6b411b779dc8a301","datavalue":{"value":{"entity-type":"item","numeric-id":860827,"id":"Q860827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$DFF77501-C0E3-4745-AEA0-E668C6C10070","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$861BCF0F-F1CC-4ADC-80F6-6804BDCD824F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q860828$1A63A6BC-43AB-418D-952D-7D1E6E3A611E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860828$38BF76F6-2647-4AE9-ADF1-E301BC33E82D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15e50848db39b917eb0d7a1310b3132b065c2c98","datavalue":{"value":"5083489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860828$B2A36F01-E8E0-4F6F-A2A9-6E7E98B9DA66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q860828$292BC8DA-215F-4587-B0CB-6842C3A64B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7d65ebe49c1b2df65b84dc9d6a46ca68aacbbcf","datavalue":{"value":"positive example","type":"string"},"datatype":"string"},"type":"statement","id":"Q860828$12EE7743-E907-40F6-B671-40124742A5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cee109747391f240127b0082be458b60b3613a47","datavalue":{"value":"erasing pattern language","type":"string"},"datatype":"string"},"type":"statement","id":"Q860828$0566E22F-E35F-40BB-BB1D-B3230E4569FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e74cf71a6ecd06e9f41b89a72ff16f02441da2a8","datavalue":{"value":"elementary formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q860828$F067D3C2-A609-4A19-B8C6-2BFE7A5A4B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caeac0532fc6499dbe898bf3edcb9e2f86f884a2","datavalue":{"value":"primitive formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q860828$F361B393-40C0-4F79-9632-7C9E1F95F1E4","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":"Q860828$6CDE067D-A13F-46AD-9129-BFB0F773D449","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a26efc94eb9201b2dc72b73e056e9d261f3e6ca","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.07.043","type":"string"},"datatype":"url"},"type":"statement","id":"Q860828$9882EB12-7D8A-45EB-AEFE-34AEDE643D8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5a84ef8a31b77158000088f1167a57fe4338127","datavalue":{"value":"W2101678644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860828$D8D1DA81-2191-4498-A564-52168089DD1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b40c59feb183e6f32a8e2fcf3769d2018e89bfa","datavalue":{"value":{"entity-type":"item","numeric-id":3910029,"id":"Q3910029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$CF40CFA3-BE05-4F87-9746-A53FD859B0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31d3afd60d79caaf0087cf3e511846cd43987db3","datavalue":{"value":{"entity-type":"item","numeric-id":4942639,"id":"Q4942639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$2F8C9E98-769D-4CA5-A15F-64021924C125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6a234323b26f875f8ecfe8da77f2e27a658161e","datavalue":{"value":{"entity-type":"item","numeric-id":1186429,"id":"Q1186429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$F1132E85-B3E0-4CAA-B180-22D7F75B8DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$E471109D-6D7C-431C-828E-DB6526F967C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa494b39c76258676a457e919c831e7a95eb0c93","datavalue":{"value":{"entity-type":"item","numeric-id":674404,"id":"Q674404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$9CB73AC5-0493-4E61-82DF-6410D6D66618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e6e59fab12ba4a1d26fcc64eb9d0630bf6b141","datavalue":{"value":{"entity-type":"item","numeric-id":5464510,"id":"Q5464510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$3B974A4B-4E36-4E73-A865-81360D727CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa9a5cd8c41e73d8e3ddc2941a0d833862352ac","datavalue":{"value":{"entity-type":"item","numeric-id":4420758,"id":"Q4420758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$CBAD7D4B-5F96-47F3-B9AB-298A8C80550B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50005bb252ff412c548f7413bf9c3b55d2a4294a","datavalue":{"value":{"entity-type":"item","numeric-id":4680873,"id":"Q4680873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$69E7692E-50DD-4DF2-9BFA-FFD281842944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5560dff5d602a4b7894c13a943c680577744a1a9","datavalue":{"value":{"entity-type":"item","numeric-id":4844750,"id":"Q4844750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$FAF5D72B-6952-488C-87A2-AE935AB311A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d46fc8316918503540eddd4cbeed82975c92204","datavalue":{"value":{"entity-type":"item","numeric-id":4749224,"id":"Q4749224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$58D57449-9690-47CE-8B1B-C019EB8AB025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1eec31d2c442a333318ea8a86593907ce45d2c","datavalue":{"value":{"entity-type":"item","numeric-id":3746876,"id":"Q3746876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$1B366FCF-9816-45F1-BCF2-B303869AEBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd070f67eb457d07dfbc72ded4b3c2924fb84a30","datavalue":{"value":{"entity-type":"item","numeric-id":749217,"id":"Q749217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$EB9412B8-1B98-4367-AA25-F31866D657BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200dcab52c2979107c1a7566de0a21a7f0bddbaa","datavalue":{"value":{"entity-type":"item","numeric-id":1322482,"id":"Q1322482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$428A4B79-3569-439F-A00E-9783A7B9C208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acc84c64e46319842ef17497b61b468633b165c","datavalue":{"value":{"entity-type":"item","numeric-id":5622168,"id":"Q5622168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$C401C8EC-FB38-4452-ACB0-86C75B776556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97619e5434463104d4b37b324d1f3b8c71b38c5b","datavalue":{"value":{"entity-type":"item","numeric-id":4420757,"id":"Q4420757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$3B02F003-8D3E-4CCB-AFB2-599E1098A019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb33c90b46dd004c7fec895b58abf9f44b7c709","datavalue":{"value":{"entity-type":"item","numeric-id":4013550,"id":"Q4013550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860828$385EEFCB-30CE-4472-8682-24282365EDFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a47f1e73ee53fe7c9007f44ab5c3fad56df48ebc","datavalue":{"value":"10.1016/J.TCS.2006.07.043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860828$5D08223A-659F-4FDC-8B71-C60E5DC94257","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1cc51720bc819500b5e057a3785fefa42fe6dd2","datavalue":{"value":{"entity-type":"item","numeric-id":5897379,"id":"Q5897379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5680414361d920e276fbea110290d594ead8bd71","datavalue":{"value":{"amount":"+0.94137442111969","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":"Q860828$DB9626F2-A246-40CD-929E-9401EEE0F108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5862772b8339ebffa4d2d116cc1ab118d66190b8","datavalue":{"value":{"entity-type":"item","numeric-id":5464510,"id":"Q5464510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e52dfdb74142d519a2790a2885cf98e37428c8","datavalue":{"value":{"amount":"+0.7865377068519592","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":"Q860828$166E7128-7974-4EC3-8733-6471001F69AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66f41353809b7129689813d496ef9809a31ee2f","datavalue":{"value":{"entity-type":"item","numeric-id":1575464,"id":"Q1575464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e779c77fe910438d234a03e5a11993512eb9955","datavalue":{"value":{"amount":"+0.7795985341072083","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":"Q860828$B459892F-E319-4FA4-A63A-C62802F9AF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd9503189d06f3a2a1e19868aea218cf7b81e21","datavalue":{"value":{"entity-type":"item","numeric-id":3556996,"id":"Q3556996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"309ee7c353069ba92a67fa22351f7c7cf761ea26","datavalue":{"value":{"amount":"+0.7771090865135193","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":"Q860828$E625219E-E807-4A2D-83D0-E719CE056147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a683d080c34b7b35240a3aaf8f9320e9d6243444","datavalue":{"value":{"entity-type":"item","numeric-id":2581361,"id":"Q2581361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b689610030d88930e311f6104b4636344f28e925","datavalue":{"value":{"amount":"+0.7710757851600647","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":"Q860828$DF95D533-D670-404F-96FE-5C72FD542C8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning of erasing primitive formal systems from positive examples","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Learning_of_erasing_primitive_formal_systems_from_positive_examples"}}}}}