{"entities":{"Q3327708":{"pageid":3338416,"ns":120,"title":"Item:Q3327708","lastrevid":48715435,"modified":"2026-01-05T17:01:56Z","type":"item","id":"Q3327708","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3860378"}},"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":"Q3327708$90D178DD-139F-46D1-8BEB-EC2AF23AA8CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b77238f1211d70511f16f81aaa4c281a81e7d542","datavalue":{"value":"0541.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327708$5E223DE9-04F2-411F-BE5F-C1269F386D69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3327708$F4AB74D2-70EC-44E1-AEF1-C6E47B127D23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327708$3582434B-668E-4D6E-A266-2BAB0662FC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327708$46BE2185-E5A5-4722-B638-59C284CA2FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327708$2FC5A7CE-9853-4004-8E5D-D11678465343","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1e4bf1c51659225b99da4b03425f38a0a060bf1","datavalue":{"value":"3860378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327708$CFD007DC-F0CB-4F6B-B246-5EE6252A6AA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327708$7C8C67C7-4E49-4B32-819A-708A39534F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327708$2AB8459E-AF26-4B4A-9078-B4FD99D593D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b39bcd33ba55d4227ecae1456f6e1430405ab2d","datavalue":{"value":"programming logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327708$BF54CDDE-DC3B-4C40-9E38-48C9503662F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba1a35f7fae86c1e2f2400e9a968ae94e2f5bfa","datavalue":{"value":"sequential formulation of Kr\u00f6ger's logic for algorithmic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327708$48509341-6DAE-4553-8007-3B1C149EA9F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20cbb1276eb7c92a83af8336c192bb119384c926","datavalue":{"value":{"entity-type":"item","numeric-id":2265424,"id":"Q2265424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3327708$7DCAF23A-D56D-48DD-AB44-B8079866B5DF","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":"Q3327708$5FC10475-1DCB-48D3-8B37-AA3EDE00A4A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4d93c4d76a7ba344882e3131065a19fde672a6","datavalue":{"value":{"entity-type":"item","numeric-id":3751561,"id":"Q3751561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3a9ef6c0b8e99137df0626d2647a98782ab71ae","datavalue":{"value":{"amount":"+0.7705318927764893","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":"Q3327708$D7E25608-8F7A-4E1E-B6FC-A59733BAD728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddba683a0a851f93146231b32ed157398d5368f8","datavalue":{"value":{"entity-type":"item","numeric-id":2446684,"id":"Q2446684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba129b5ad202dda304195ce3a7ec87f594e949d4","datavalue":{"value":{"amount":"+0.7383003234863281","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":"Q3327708$ECB90F69-D98D-4B6C-95EA-3EE94703E1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b6baa5c9206751fbce6780e371b15029265f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5688801,"id":"Q5688801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1886882166cef771de5ad62efb76e3434435bc","datavalue":{"value":{"amount":"+0.7301855087280273","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":"Q3327708$FB4AB9AA-305B-40DF-976C-75DA19583196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cc7780ba43a8ea5c56365615a44d25e91d56cb","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ad61be8bfbd6e626c0f99aa9306814be9ee39e0","datavalue":{"value":{"amount":"+0.7300786972045898","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":"Q3327708$FB4449C0-284E-4E32-B5AD-F0E01EFBF807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d449e330b67c1db762bef7ef8feb887512bf38aa","datavalue":{"value":{"entity-type":"item","numeric-id":965900,"id":"Q965900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8cc90bead202fe49b5bb0f1ce995caf88afc7da","datavalue":{"value":{"amount":"+0.7280465960502625","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":"Q3327708$C36C8E5F-8219-468D-BE6F-945EB837872F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3327708","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3327708"}}}}}