{"entities":{"Q1817076":{"pageid":1827818,"ns":120,"title":"Item:Q1817076","lastrevid":46448262,"modified":"2025-12-24T19:36:03Z","type":"item","id":"Q1817076","labels":{"en":{"language":"en","value":"About classical logic and imperative programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 951958"}},"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":"Q1817076$F245A331-3799-4DDB-BAAF-BA93CF7751D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6383ab2ac1d82d0c1f7221cf6375ddec8d533d4","datavalue":{"value":{"text":"About classical logic and imperative programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1817076$16E70429-7C88-4461-9CA7-AD3EAAA34598","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47f85641b310e640793c208931615dfaec370405","datavalue":{"value":"0864.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817076$11AFAB0F-0DCC-4636-A6C5-8CBD407A5B78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59b4bccc36ef600d47cf347b24c975734a914b5d","datavalue":{"value":"10.1007/BF02127805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817076$8542F556-7DF4-49BF-9F8F-192159B29D76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c930bfaa88d0466feb9bef34cfbca5f6b60b9e3","datavalue":{"value":{"entity-type":"item","numeric-id":206560,"id":"Q206560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817076$EE98D12C-C412-47E5-8AC2-0C0B2BE241B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817076$1D939195-3133-4E0D-B3DC-FFB7E96B41AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a12bcc24bcb1687cc3955f148bdc9dcf1a4ac38","datavalue":{"value":{"time":"+1997-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1817076$95B8408D-51C8-4580-B240-161A1DA5E308","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817076$0C51D2F1-5A40-4F9F-869A-2427AE031255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817076$CDF3507F-B6C6-4E28-B903-5C89ED3B04B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817076$2D977FE7-36D8-4181-9F3A-918D9E7863C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817076$11997EB1-21FA-4EE5-833B-6E7B81235124","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b91e10b8e5683d76ba2f5f0b4ad4bcaa5e3d776","datavalue":{"value":"951958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817076$315B76D6-007B-4AE1-BB43-544D9DD6B122","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2de8750a2beb16776bf735e22628295233cff2c3","datavalue":{"value":"call-by-name lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817076$3396BA31-4DA1-4EC2-A9A2-35EFDB790AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59443c6782b58493ba2576798837d1ecc9dfa7a6","datavalue":{"value":"second-order classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817076$80BD7A45-9444-4A83-B312-6202F1EAF473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"482cb3f7ab0558949fda03cab77c32104fe49759","datavalue":{"value":"weak head-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817076$07F406F3-0698-485F-850E-7EC6AB6672CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaaa0bb98ae24d1ec5df2ad0bd3b4e3eab9986f4","datavalue":{"value":"imperative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817076$C936D97E-74E2-4C7C-9A1C-69E0FCB5199B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c086c399a69aaa1cc93221592f19846d5c22769","datavalue":{"value":"storage operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817076$7B67BA2C-82B0-498C-A760-F341659A3EF5","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":"Q1817076$D3BDBDD1-D4F4-49FD-AFD3-4A4AB072D3A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817076$C96A5243-B1A4-4FCA-8275-CA4791067CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b355c034a15b6951cab8a2fb9dd01fb3be3dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3477935,"id":"Q3477935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817076$C9A89079-71B2-445F-BF86-755D1DF24D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62728de11085b2637852fd5b2e4cd2194b3b9d02","datavalue":{"value":{"entity-type":"item","numeric-id":923069,"id":"Q923069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817076$7DFD639F-89C5-40B5-9749-F7A963F06856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8496790a8bf966a77336e99f504c74dd8e43fdd6","datavalue":{"value":{"entity-type":"item","numeric-id":3204440,"id":"Q3204440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817076$4FC4C0C8-84F8-48F4-8963-AB1864C1A450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e93b7524b60bb9ab3f8d71fd24ac2451f79309","datavalue":{"value":{"entity-type":"item","numeric-id":1326769,"id":"Q1326769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817076$5697BC48-D078-43D2-805F-B057BDD05637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce42f54bdfef08bd435c92bb6ed780dad4891a10","datavalue":{"value":{"entity-type":"item","numeric-id":1329740,"id":"Q1329740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817076$9A6DC7AD-DCDF-4803-B677-058985146587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9a53038a3e03bede13deef3624bad6ce441e04","datavalue":{"value":{"entity-type":"item","numeric-id":4264064,"id":"Q4264064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817076$BCFD9C9E-5A6B-4069-A29D-771A68220949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817076$299DCC8C-B8C1-4E85-8528-F593726CDDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817076$8F8E7F52-1677-4F28-9EF7-21C067DA1BCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3267bdfe15f7aa9439036907ad3c552fa5f01d3d","datavalue":{"value":{"entity-type":"item","numeric-id":1326769,"id":"Q1326769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a2f9171dea423df8d3bfb15acc440ea0b1c1c6","datavalue":{"value":{"amount":"+0.8022986650466919","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":"Q1817076$6E130C42-1FC8-49B4-A9C6-9BDC9A409639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2739fbfff016a5e366eac26cb88c1736bd7b8e","datavalue":{"value":{"entity-type":"item","numeric-id":4282613,"id":"Q4282613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ea796f0d713e3a76b8084f07d1dfb4cb2b4e51","datavalue":{"value":{"amount":"+0.7752695679664612","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":"Q1817076$6AFC5857-B14B-4B97-9FB8-CB53829D643A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db78fd63e4377c07a547e19509873ac907360e8","datavalue":{"value":{"entity-type":"item","numeric-id":1329740,"id":"Q1329740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f732763a1213a3e7f38a392bcbbacd66840867","datavalue":{"value":{"amount":"+0.7724176049232483","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":"Q1817076$0FEC8D97-F5C3-4EB6-8880-849024D7A8F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1817076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1817076"}}}}}