{"entities":{"Q352946":{"pageid":354713,"ns":120,"title":"Item:Q352946","lastrevid":61229028,"modified":"2026-04-10T22:00:10Z","type":"item","id":"Q352946","labels":{"en":{"language":"en","value":"A two-valued logic for properties of strict functional programs allowing partial functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6184680"}},"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":"Q352946$50A49E57-0688-4FF3-9B7F-F9A7CBF2F401","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bb68058610a849fca4862707ca0db0fe780caf7","datavalue":{"value":{"text":"A two-valued logic for properties of strict functional programs allowing partial functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q352946$D13C7709-A20F-4C74-9B25-9F07EB269B8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"445f2c8eb6725609ffbe0e3347c2df25e0b7aaec","datavalue":{"value":"1267.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352946$A9017609-D332-4605-9F7B-C3BEAA77582F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3211ec0fd031f0134e24af3ce5cb141879b2940d","datavalue":{"value":{"entity-type":"item","numeric-id":352944,"id":"Q352944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$7179609B-CB75-478C-A5EF-B867D29C3E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$D2CC2A09-F319-42C1-AE20-DBFF862E1DA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$15B2A238-E3D2-439C-9257-83D3A6AB3076","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e553745941756c98d8238154d74f9ad7174c4d8e","datavalue":{"value":{"time":"+2013-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q352946$ED4E11DD-AAA4-406F-BC7B-6CF0A68FCCC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352946$9AE07ED2-06F8-458B-A565-FC72F2DDE3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352946$89CEEE7A-F78A-4FA1-9433-A6F61A57B1CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72ed5c2b2915784ee25bcfe64d0963ca4f1d230b","datavalue":{"value":"6184680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352946$BEF071C2-55E9-44B0-9BD6-8FF97D5A15D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q352946$B9F5F6BB-7D59-42D3-8911-23CC20C18F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q352946$A05C19B1-B21C-44A1-995C-547465C969B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98bff7e4a4536831a746765cf2bfc36024b1e1be","datavalue":{"value":"logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q352946$2C4F47DD-7411-4036-800E-D35B0DD48560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q352946$97B55240-B3D5-419A-9011-31BCA018E9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q352946$607778E2-BDC8-4BDC-BEAC-ED1B6C7BCC40","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$687DFD4F-7AB9-40A7-AF36-69C5656C7067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$830A4634-9168-4ED7-8C59-3F1E90308767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$10E43B5C-5D25-4C8C-A500-35BEDC2C792A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$54838551-1D4E-48BC-97A2-D056CCFB2262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$17762BC1-3390-4860-91BF-41F4B57CBFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b799da0cc0efb29a46dd283874e64386ca0e87dd","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$5E1212C2-A33F-42AE-8B91-230A7D5C02AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$487CAD38-A038-46F2-9F36-C062FFD65615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1a2a866e7bbb119aad234d9285d711e41219669","datavalue":{"value":{"entity-type":"item","numeric-id":13159,"id":"Q13159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$8842AE37-1510-4CAD-BE9E-20664C461EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5e12a5bc154ad67aa9b674da476cd2afc9531b51","datavalue":{"value":{"entity-type":"item","numeric-id":33982,"id":"Q33982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$D0AC015D-D2AE-48EB-B472-A7B0C9897035","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":"Q352946$9EF02DC1-FDF4-4E26-AAB1-38FBFF44B6FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f71026c19ede97e1a9e8b50d9ba73ebf2b8b7485","datavalue":{"value":"https://doi.org/10.1007/s10817-012-9253-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q352946$5564A112-E614-4D9C-8DDA-55F6C7044329","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6cff206d46019bfb155dc1597c19872a39d2de8","datavalue":{"value":"W2060492324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352946$456A84F2-153C-48F4-89F8-12224EFE01B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$9034E1A7-0562-4977-BFD2-4EB63E329CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e784c04dc3517f7e8c2f696415ad60810b63e89","datavalue":{"value":{"entity-type":"item","numeric-id":2866336,"id":"Q2866336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$86156C33-D130-4F37-8067-E5734A286B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$B3F105FA-BCDE-4491-BF47-6BCF97EBDD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f474b409a8f3415f67c4fa840940f857e860d83","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$4C729041-37DF-404F-826C-13D20B97F946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$FFB98FC8-D9CA-45D0-8923-9E762E451128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd9276b29fad8afcdadbaa91529b52a92d469","datavalue":{"value":{"entity-type":"item","numeric-id":4939702,"id":"Q4939702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$27D7AFAA-3E52-4757-A10C-085A0E476763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edb7a0d5b6e7d6c7016a20ce6d5337671eb55547","datavalue":{"value":{"entity-type":"item","numeric-id":5741556,"id":"Q5741556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$79D6677F-9293-4B1A-8A93-E24B9D48F8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527c7202e783b352edb1e0158278fe604f9a2b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4105761,"id":"Q4105761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$E9F1B1CF-AB0F-4B4B-A19B-2A240B10953B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9096cca42c1b60f729db4dc67f52c9bf70298bb","datavalue":{"value":{"entity-type":"item","numeric-id":3766888,"id":"Q3766888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$9E82DFFC-D49F-4544-9963-1D395BABD59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f0278a622341c2c3ea684f66af68a5b07b0b894","datavalue":{"value":{"entity-type":"item","numeric-id":972425,"id":"Q972425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$31B3466B-F2CA-4917-ACFD-70CD549F0F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05f5e5a6c7354caaa9141196fc1e92ff4579eb6","datavalue":{"value":{"entity-type":"item","numeric-id":679251,"id":"Q679251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$0AECE98C-2B8B-4172-9629-A1461C731D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2dade93a965b4ec7651716b5bb52a35509088a","datavalue":{"value":{"entity-type":"item","numeric-id":1314643,"id":"Q1314643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$231A658E-2A63-4C76-BFA4-69F8C99BA57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$C7E4EFC7-4361-4858-BD1F-886C5F2C9B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a6b176e3d36250fa66d3cb07a166df9c752b80","datavalue":{"value":{"entity-type":"item","numeric-id":4269811,"id":"Q4269811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$9978BAAD-5BA9-4DD7-B74A-B9F61F4570AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6df8358e73b9dabbb280b801074bff4bd2fbd75","datavalue":{"value":{"entity-type":"item","numeric-id":5307081,"id":"Q5307081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$C9A7A706-5A1A-43EA-97E6-1E43BBAFC838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa946e46dd7fe5ebbecad5b92f77605dd2ee5cd0","datavalue":{"value":{"entity-type":"item","numeric-id":1319391,"id":"Q1319391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$50CEA091-A8F1-4318-9BE1-81FA21AA7E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$8974CF82-3094-4F81-8C63-687744A62533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce422f90b186396987c02e9fbfef547abb0db75f","datavalue":{"value":{"entity-type":"item","numeric-id":963419,"id":"Q963419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$A61DA50E-F6EE-4C4E-A8A5-A9C8CEE774A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c38bf30473891f925b8eae2804f1a04e3e3de28","datavalue":{"value":{"entity-type":"item","numeric-id":1595923,"id":"Q1595923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$952DBE68-E07D-4668-9A44-B78BF4F26577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$EC2FC8AD-D14C-4F15-A1EF-F1D9D8BDF1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a9f6f3e4ca1c5d6361225c9807c1701d5a644","datavalue":{"value":{"entity-type":"item","numeric-id":5703738,"id":"Q5703738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$7BE58249-5090-42E2-8F61-94B991DC18D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$066EE4EF-25B6-4301-A6C8-98E37CA1A031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$5AA8ABDD-EEF7-4978-BAF2-CFD23D236A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6b5d8c44f3e9428846dab903f2a3cb13d0c931","datavalue":{"value":{"entity-type":"item","numeric-id":960863,"id":"Q960863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$7A218E3A-1B16-4292-9C37-07C85D5E72BA","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":"Q352946$E69F3628-65FE-4861-B592-29D4F00BD17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"935e96858077565d4f78764b795519c8fe29e5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3613436,"id":"Q3613436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$1457A018-5290-4BEA-A82D-4DE0CF492AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$88DB1DE4-E1D5-4A98-9E96-9CB4DE88BCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232426b4a336ce9f56636b166cfd296a7cb0f2d0","datavalue":{"value":{"entity-type":"item","numeric-id":4225152,"id":"Q4225152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$B9C0730E-87DF-4D1F-AAD3-7D83FDE1B84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ff8fc56277b05adf8ad4a1fd54052eb343589c","datavalue":{"value":{"entity-type":"item","numeric-id":4414725,"id":"Q4414725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$54DC24A0-FE21-4D7D-BD07-4F4A00C143FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdbf6c6e5d99a037259120b03a6d77b152675cd","datavalue":{"value":{"entity-type":"item","numeric-id":1006648,"id":"Q1006648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$89CFE33D-E797-45A6-B116-9D028B160CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a4c6ba020fe36e67df493632903d5f8e8e95e9","datavalue":{"value":{"entity-type":"item","numeric-id":4296747,"id":"Q4296747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$D65946E2-D782-4F61-93C0-C1A29CD71EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"616eb6f57b88dcadb274d675e53cb447b5f8ed00","datavalue":{"value":{"entity-type":"item","numeric-id":5387856,"id":"Q5387856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352946$53EC5DD1-AFB8-450A-A307-F5BD3805C5FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e6ab1144344efd701804395eb23e7b858cedf62","datavalue":{"value":"10.1007/S10817-012-9253-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352946$1785E6F0-CB9B-41CD-ABAC-5689B04DB1BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"671ec0799344f16cd6c6d298783843edad6951e1","datavalue":{"value":{"entity-type":"item","numeric-id":963419,"id":"Q963419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2474caf5a3dac9515e648e5287e0c34aabec7ac6","datavalue":{"value":{"amount":"+0.7716187238693237","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":"Q352946$D9F931CA-F6A6-4D69-900D-EF954DB31D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8119ec3aa981e9a9db002ac60c0b87fa899679f0","datavalue":{"value":{"entity-type":"item","numeric-id":679251,"id":"Q679251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5403c310f6c255703bf10bcc562d20b7f31dff0b","datavalue":{"value":{"amount":"+0.764761209487915","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":"Q352946$260A74F3-CD06-4F38-8404-F6FEC7C05C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc68cc3d46dac776e2b85259f27d0f30f32b163","datavalue":{"value":{"entity-type":"item","numeric-id":3358718,"id":"Q3358718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db6ca0c07b3e7293d20c3c2b5f511ba01708739","datavalue":{"value":{"amount":"+0.7600788474082947","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":"Q352946$47D92B1E-4D17-4A34-AEFF-24E7F4321A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2210e42a745acd3fde9aaf4e65aaf2250ab240a","datavalue":{"value":{"entity-type":"item","numeric-id":2757801,"id":"Q2757801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d834b344f6d8d7e64b138a3f529657a0099f23f","datavalue":{"value":{"amount":"+0.7579370737075806","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":"Q352946$16D1862C-4F75-4ACA-87B4-83CFB6887867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d7ebda9e9c163eb8f41ff0c83ec09f123cf30e7","datavalue":{"value":{"entity-type":"item","numeric-id":1338893,"id":"Q1338893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc2c35ea9b15423175fafe71e5b50662fa85429","datavalue":{"value":{"amount":"+0.7531130313873291","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":"Q352946$5A5CE39E-23F1-4828-B511-4578CA53216E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A two-valued logic for properties of strict functional programs allowing partial functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_two-valued_logic_for_properties_of_strict_functional_programs_allowing_partial_functions"}}}}}