{"entities":{"Q1075752":{"pageid":1086504,"ns":120,"title":"Item:Q1075752","lastrevid":48933892,"modified":"2026-01-06T05:45:37Z","type":"item","id":"Q1075752","labels":{"en":{"language":"en","value":"Foundation of logic programming based on inductive definition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3951998"}},"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":"Q1075752$B2D29269-698C-4D31-9D20-E173F9FE060D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b18b01bb95fa9fe9109c49f93b5904159bf86635","datavalue":{"value":{"text":"Foundation of logic programming based on inductive definition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1075752$FB8BD988-54A4-4DE6-AA6F-2239575FB740","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a542978884a9b429ab2a3debe543dcd72af6b020","datavalue":{"value":"0592.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075752$0609A0F4-0BE0-4810-A99E-9DE92A81036B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49ae82166692f0e10d23fd3b5d0560a3daa62fad","datavalue":{"value":"10.1007/BF03037052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075752$555EC673-53E6-4B7D-8EA3-A0B792193F47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfa0ec8338f039e787f9ac71fa1d8f9e5f336cc8","datavalue":{"value":{"entity-type":"item","numeric-id":288805,"id":"Q288805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075752$706168EC-1103-4451-BFF2-A1CACA74032E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1266d5b12dd52276642e6566ddda642b92e88574","datavalue":{"value":{"entity-type":"item","numeric-id":740484,"id":"Q740484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075752$C509E100-AEAD-476F-A692-BE9B25E2F175","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075752$7587DB9A-19F6-4117-B48D-7E9078CA4E91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1075752$59BB3D66-C3BC-43AB-9D54-90C9F747A2D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075752$BE250E8E-9C49-4B72-A4A7-BC5424621043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075752$EA590C8E-2B3D-48FE-A6F9-54F364B7D6C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2639b2ad9f63f9d1f80e3cfd76931b072afb60c2","datavalue":{"value":"3951998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075752$92F4D101-0DED-4F9D-9385-161C8771B6CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7532934f82ba809849230c5737d9303961f5ee61","datavalue":{"value":"logical system of inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075752$6F7E14AE-8B5E-423E-B960-EEEB4DACA35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51f207cf0d8eeaf77a01c413fff9b3d38af03456","datavalue":{"value":"induction schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075752$E2933073-9826-45AC-B771-E66B3DE1A2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075752$CF11C2AA-C3CF-4BE3-9F62-D34947B71852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c7c64208a4ad8d6116f05a3ea9829e813ac9ea","datavalue":{"value":"least fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075752$9B052178-6A81-4698-B319-9261E463356F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e746c4ad5ceb87cc4714dae32143e5d9725697e2","datavalue":{"value":"quantified specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075752$7A5FEAAD-95B3-496A-811E-0EDF1B94A96D","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":"Q1075752$A3D70474-1B4D-4038-BB37-503E0C3895D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075752$F6444B4A-DDB7-4169-8AE3-2AF672F72293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a855faf9fd36b10ff39c0860ddc943b205994344","datavalue":{"value":{"entity-type":"item","numeric-id":3862422,"id":"Q3862422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075752$BF99E39A-DE22-42E6-9D9D-16838452A199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"765c8bc43850d6db037dac0173ae8bea5e291121","datavalue":{"value":{"entity-type":"item","numeric-id":1055769,"id":"Q1055769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075752$DF33F280-9FA8-46CF-97A1-D44F9CAFB6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8a79af3c28ca6a85273f2cf60e4233483e6da8","datavalue":{"value":{"entity-type":"item","numeric-id":4051550,"id":"Q4051550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075752$1D6C5EF9-0BC7-4D84-AE1C-6369D2EB34A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075752$C944EACD-064C-40DF-BF3A-0A2B3FA1C65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075752$8BA1EDB3-576B-4A86-B779-89D8A0830B02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb8fa0a12465c66630a4dcf2ec21b5d0e6810a7","datavalue":{"value":{"entity-type":"item","numeric-id":5738920,"id":"Q5738920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa0a688e21211b38d7eee88b05cd288038b8e699","datavalue":{"value":{"amount":"+0.8681325316429138","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":"Q1075752$D8AD14FB-7924-49CD-ACA8-7B4769364CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f11669efc28b10493d93d60134dd60258dd749bb","datavalue":{"value":{"entity-type":"item","numeric-id":3983937,"id":"Q3983937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"244fe7288a66f9476163f001dd4a109b9abe952f","datavalue":{"value":{"amount":"+0.8392230272293091","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":"Q1075752$A3D84442-4D12-45A2-B472-9E3F439464A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e223bbc6d5fc894b4f9e10ed218fe63aed8e17cc","datavalue":{"value":{"entity-type":"item","numeric-id":4208859,"id":"Q4208859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa906de88b3e32ae00c5c6e00d2b470471c49494","datavalue":{"value":{"amount":"+0.8392229676246643","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":"Q1075752$E8A48F29-85B3-4C46-BD48-DE2AF03185BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa968f3ea4c56a11664386134702415d44486913","datavalue":{"value":{"entity-type":"item","numeric-id":3837741,"id":"Q3837741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef1a814677607bb7ea1f289bd0673bbef861c79b","datavalue":{"value":{"amount":"+0.8105161786079407","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":"Q1075752$43903105-D6E4-4754-8F37-F14E7280B6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adbacd20f11591f7550cc228dfe34683bac896f","datavalue":{"value":{"entity-type":"item","numeric-id":4514010,"id":"Q4514010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50bb7ea689332de3be86c553cc7917eb9a1bb69","datavalue":{"value":{"amount":"+0.8060230016708374","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":"Q1075752$5860839D-1118-4DD1-91A7-73AA81D04F26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1075752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1075752"}}}}}