{"entities":{"Q3586011":{"pageid":5615915,"ns":120,"title":"Item:Q3586011","lastrevid":51070703,"modified":"2026-01-16T12:19:04Z","type":"item","id":"Q3586011","labels":{"en":{"language":"en","value":"Ibn S\u012bn\u0101 on analysis. I. Proof search. Or: Abstract state machines as a tool for history of logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779214"}},"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":"Q3586011$3C8AC61F-49AD-45AA-8839-335205D86D95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb3671c9db182cd016b2c402ab24d384b708898c","datavalue":{"value":{"text":"Ibn S\u012bn\u0101 on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586011$4C1F6C89-4CEB-4E8F-9837-4F9917535362","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19a483097cf11633fdb576646d03b885a3499b68","datavalue":{"value":"1287.01008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586011$FB10DBF1-5B35-42A9-B392-D68F84AAE2BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c28a649f6818a72d5aed4fc543077f91653ffeac","datavalue":{"value":"10.1007/978-3-642-15025-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586011$CE293ED4-F3AA-4A6D-8C77-D0F1BE2CA2F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15b85060f261bcdcca7ccb0feac14e776681f7d6","datavalue":{"value":{"entity-type":"item","numeric-id":190274,"id":"Q190274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586011$0B1829FC-617F-4042-89BE-B3ABFCAB5E7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cdd169c7d233759e4f71b10b3d5a636c6803d4ba","datavalue":{"value":{"entity-type":"item","numeric-id":3585994,"id":"Q3585994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586011$4C7662F3-F5CC-478F-BA32-930FAD00CA36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586011$F101441F-6BC5-4866-B24B-3DBE7DFB33CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8284164a1e7f35e5df7a37db4dab808a8ec438b6","datavalue":{"value":"01A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586011$50355B8B-B48A-4306-B146-FFF985EBBDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586011$3F8CB168-A857-45AE-A02D-16C0FC44B644","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"354e02ecdae9a703db0479f5e7376fa426c41374","datavalue":{"value":"5779214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586011$DF0FAFFB-2B85-4018-B39D-652C640E9734","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf00e43fd6ab092796109964f1a55fca40cc53e","datavalue":{"value":"abstract state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586011$596B958B-A474-4BCD-8B52-734781056D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586011$D9809CE5-3397-467D-BE8F-8AAA09B5A496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5972458437ea547fbc95d61a1eca4498181d469","datavalue":{"value":"Ibn S\u012bn\u0101","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586011$4C83E9E3-0938-4F27-9577-91F46F3198AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c709861e8f67910e1e2d654cec26034c28faa6e3","datavalue":{"value":"Avicenna","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586011$B914DC06-12D8-4E2F-B52A-B9EA82CE43D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02c4362631c0126166851ee024de088472adc94","datavalue":{"value":"syllogism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586011$76F456AE-CDFA-40C2-B099-A63B11D38DD3","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":"Q3586011$4D2F4F48-B208-486D-AB0B-A02B53A72353","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4d380f56c519f13a23d5d4cb77e072157875c4a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15025-8_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586011$04B52695-F0B1-4513-9FCF-A4BDDCD00550","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"164839f35ff41da0a58da244ca5e9d7dff0f7ab8","datavalue":{"value":"W1483950873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586011$47C4241A-DA5B-411F-A9B3-DED027F4A2CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a5b95dd305bb1e46dc29c3d0ba9c0e92b7c136","datavalue":{"value":{"entity-type":"item","numeric-id":4101844,"id":"Q4101844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586011$7F4A2CC9-FF0E-4361-8E2F-CEA922748291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80536a6c4d7f535a1dcfc23142b1431bdf463243","datavalue":{"value":{"entity-type":"item","numeric-id":1899138,"id":"Q1899138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586011$275D5F6C-6FD9-4B30-9B9B-D9605CA45F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586011$F9352068-9E6A-4D11-A022-735CBDB6C065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9731daed8c65b1a390e1437b0a605ad5221d3c","datavalue":{"value":{"entity-type":"item","numeric-id":3971260,"id":"Q3971260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586011$CA25616F-9795-4C46-837B-D6B7D3025D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e244c7c7f4d02a9528c9d24f86f9497663488ab5","datavalue":{"value":{"entity-type":"item","numeric-id":880169,"id":"Q880169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586011$09FB5053-8A1D-4953-8F5D-8A1D65AF2532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca51923d67edea6655fb426dd461e51e1b7de07","datavalue":{"value":{"entity-type":"item","numeric-id":843766,"id":"Q843766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586011$12E4C855-348F-4AB2-99DC-3EEED0F46DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"020c0c9fdebd0d63c1fd71630d1cc9d08f59f720","datavalue":{"value":{"entity-type":"item","numeric-id":3924155,"id":"Q3924155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586011$994C019D-0556-4FD8-A62B-E999CC2885D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be6ec9cc4c670e2294bfa4c09e61efeace9e5682","datavalue":{"value":{"entity-type":"item","numeric-id":5357330,"id":"Q5357330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ead9b8ed8d9e889ae661295fafdc7b04d8c905","datavalue":{"value":{"amount":"+0.7662908434867859","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":"Q3586011$D812B538-3568-404F-9AD7-2461210E838A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4159fd1a0352447415036d476efac03b164dd467","datavalue":{"value":{"entity-type":"item","numeric-id":4003549,"id":"Q4003549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7024fc275cbaa2c0e75fc20f1909caeded3123d","datavalue":{"value":{"amount":"+0.731351912021637","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":"Q3586011$452FE00C-E8D4-4DE2-B9CB-94159B90E399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f873c0a6d3faa621112dc18b2c17dc1dc0d142","datavalue":{"value":{"entity-type":"item","numeric-id":5258960,"id":"Q5258960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10db276a500f32f5f8db81ea4a09a7be5b0c9b31","datavalue":{"value":{"amount":"+0.7269551753997803","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":"Q3586011$2609FF85-5458-4989-A96B-B6EC5D2EE3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f9966601933639140bb24fa80af11ea89974a3","datavalue":{"value":{"entity-type":"item","numeric-id":2909748,"id":"Q2909748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de57d4ee80609cd6d77b6c43648ab6b5d4f9484b","datavalue":{"value":{"amount":"+0.7224270105361938","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":"Q3586011$7064F87E-8360-4178-90F6-48FBE3CA5B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b033d1903d05dd0fc6aa886c838cbb1e4b61d218","datavalue":{"value":{"entity-type":"item","numeric-id":6041341,"id":"Q6041341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14b9058cd1b9b856eb8fb24dcc2fbb91099a025c","datavalue":{"value":{"amount":"+0.7185059189796448","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":"Q3586011$C6B89470-DC11-4171-BEF3-FD183C2F7EC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3586011","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3586011"}}}}}