{"entities":{"Q2915141":{"pageid":2925861,"ns":120,"title":"Item:Q2915141","lastrevid":79887542,"modified":"2026-05-06T14:56:21Z","type":"item","id":"Q2915141","labels":{"en":{"language":"en","value":"Relations as executable specifications: taming partiality and non-determinism using invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6085014"}},"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":"Q2915141$DBA41683-1EF8-4C53-9D44-BF9AD86EDC23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e6795f65e3877316241ea6dc196d532be7a1ce6","datavalue":{"value":{"text":"Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915141$ADA71E98-EB5F-48C4-A684-CDDA091CAC03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3afcbedcb294f2ccdb180a4f1f16d7eb8469da90","datavalue":{"value":"1364.68264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915141$3D63A785-F5EA-4B28-AB7F-77AE29E931E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ea54aa5af6414bcc028e98117eb0530c4fd626c","datavalue":{"value":"10.1007/978-3-642-33314-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915141$15D47F9C-3C45-463E-916A-93C063BE9675","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d55201fd9bd6ae88f728ca1f7ef109c171d99d8","datavalue":{"value":{"entity-type":"item","numeric-id":2102938,"id":"Q2102938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$A8FEF941-85A3-4C15-9689-6CC4A42105CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1256187fbe6da7e9857ed8256b66efc062b244e3","datavalue":{"value":{"entity-type":"item","numeric-id":2669245,"id":"Q2669245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$B169D664-EF35-4F79-A999-D6E72B593B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9801f923b605b4a1e8b3b3a4802c712c0b6280f","datavalue":{"value":{"entity-type":"item","numeric-id":532415,"id":"Q532415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$48D2D576-DBB2-4558-B35C-45F0CB68329B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$119F2486-D428-4119-8327-C5EA7372B8D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915141$DE0CB1C2-53E3-4440-9FB4-2070439011BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915141$68B3485E-9436-4EB2-9498-4F355661F1E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b862fb7861402375251256f800802846b0c4f577","datavalue":{"value":"6085014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915141$7A70F7BD-E215-481F-882F-871BB8057B81","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb1fca4ee5c1238a4c8891e4fb1e1d7c9da30b5e","datavalue":{"value":{"entity-type":"item","numeric-id":27652,"id":"Q27652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$A29A6189-2AC9-4020-8E17-9431CFFE5543","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":"Q2915141$F534AD20-2588-47CC-9C0C-64772D7A3647","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2986c7b0c5b57b114d5a7f7717303c9367edaea","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33314-9_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915141$CC26AF9D-F882-4742-90E7-F0B7D1FC52C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e655c86a9911e4f4baf50aa98ad7cae26ca286be","datavalue":{"value":"W1955522726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915141$FF30E94E-42B8-4FCE-B636-E9FF48E83F51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc07e87e6c39c09e00b0e53c44b80931b4c4c37b","datavalue":{"value":{"entity-type":"item","numeric-id":2721101,"id":"Q2721101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$58D0C54E-5D00-47C5-A918-474AAE53D113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825ab4c172520052e5230110b703709aa8296785","datavalue":{"value":{"entity-type":"item","numeric-id":4885873,"id":"Q4885873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$AB7B520A-E1D7-4E18-A09C-C87DE9F548B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae98441574a6a79985bc09c635e0757e6d8e32e","datavalue":{"value":{"entity-type":"item","numeric-id":532417,"id":"Q532417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$4E689520-5D61-45BE-8922-2CF20D70265C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1894ba86f4a0bfc6950aa633dc13cd4683f3c5","datavalue":{"value":{"entity-type":"item","numeric-id":5276149,"id":"Q5276149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$314FE824-7360-4814-8372-1F64D4D3781D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff5dac3a7e106779353b95ae20f87da9089a9c5","datavalue":{"value":{"entity-type":"item","numeric-id":5178774,"id":"Q5178774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$A4B8175F-8702-4423-844A-B2EBB5771962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"775b67d93e5520a6052151e90159cfd6b8277e30","datavalue":{"value":{"entity-type":"item","numeric-id":3608646,"id":"Q3608646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$9174A1E5-F265-463E-AE4C-3B5644E9DF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35c71ea544048215cc5ba3564c68bbfc0a79234","datavalue":{"value":{"entity-type":"item","numeric-id":5176941,"id":"Q5176941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$C40F7AB4-269D-414C-B3A1-0F2BBD54D709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3dea0d1eba6066427f5ee3e49463104a50e0be","datavalue":{"value":{"entity-type":"item","numeric-id":2271900,"id":"Q2271900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$A75AE6F8-F08B-4CF4-895D-6966B448FCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cedded0bf7d1afeaa736ad28eca40e60c06f890","datavalue":{"value":{"entity-type":"item","numeric-id":2915141,"id":"Q2915141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$09B5FE1E-ECEA-44C9-AEF6-38B39671C55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53d1b5dbabfa4a05e9cbd66d4a8f6f09652433d","datavalue":{"value":{"entity-type":"item","numeric-id":5168924,"id":"Q5168924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$913996C2-B069-4164-BD11-010E66AD5372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b936d058ef51c3d5753ff21eaef1fc6a2447f9","datavalue":{"value":{"entity-type":"item","numeric-id":5464046,"id":"Q5464046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$04268636-9DBB-48EB-9A32-83C5BDCD2546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a59a7b94eaa18737dc78a96a731d757f32ae17","datavalue":{"value":{"entity-type":"item","numeric-id":3007585,"id":"Q3007585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$36C9353B-2C38-4A4A-A194-056B52CF8B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f700a75ce07071ada4e1d187b51eb2723a50613","datavalue":{"value":{"entity-type":"item","numeric-id":5191091,"id":"Q5191091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$3CBFCD03-3625-414F-B6C6-9BE0F8F6CA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688982e4aff111d509d08f1631ddb3e68d67baa9","datavalue":{"value":{"entity-type":"item","numeric-id":3575279,"id":"Q3575279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$D14C2BFC-18C1-486E-80BE-E59E0092430B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff9ed74bfc734a0735a31103b9d379dc0b6c57a","datavalue":{"value":{"entity-type":"item","numeric-id":5261515,"id":"Q5261515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$391202EE-62F2-4DC3-B114-B8A866667FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482ed5e476fb0bb09574ad367858e7015bf35910","datavalue":{"value":{"entity-type":"item","numeric-id":5176938,"id":"Q5176938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$DF407538-1663-4634-900B-E0F986DA21D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5488fe5a20fb53924db588319141e96e71f7f903","datavalue":{"value":{"entity-type":"item","numeric-id":3575282,"id":"Q3575282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915141$C14DA5AC-0C14-4808-94BC-36491C8C2D26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8ef9d4240389554e81d67996e54fe22f675992","datavalue":{"value":{"entity-type":"item","numeric-id":4273429,"id":"Q4273429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1153dd36e428d4dabdf38d3c530ab91e959c05ed","datavalue":{"value":{"amount":"+0.7303362488746643","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":"Q2915141$47D69912-6182-411F-A1AF-1EE4FAEB1D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00fd6e82fda8b1632b23ee9629703362da7b6d82","datavalue":{"value":{"entity-type":"item","numeric-id":4362883,"id":"Q4362883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67095366f77ff909fa27563a4e45815fcdfc8faa","datavalue":{"value":{"amount":"+0.726895809173584","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":"Q2915141$048FFB63-8724-4136-AAA6-948162CD83F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f2ba2614c0dd2e0c796fe0a42adfa131098276","datavalue":{"value":{"entity-type":"item","numeric-id":5096763,"id":"Q5096763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec3f58b39fa50720aa5dff85bf8728a8cfc54dc","datavalue":{"value":{"amount":"+0.7055303454399109","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":"Q2915141$D658334A-2CC4-4D2A-B7CE-23181E53A916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb3d6bb76559ad0a172b76c02077caaf0e0e92c","datavalue":{"value":{"entity-type":"item","numeric-id":5313088,"id":"Q5313088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76143e5ae6fe11460ab9fa88a3675cf8c7f4f607","datavalue":{"value":{"amount":"+0.6887798309326172","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":"Q2915141$B74FDC5B-D2F4-41A7-8B58-5005CD92D2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bce561abacc58f217096dda2d716acce1177fd","datavalue":{"value":{"entity-type":"item","numeric-id":3988838,"id":"Q3988838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef9c8e2c881b1fd3967d0708369e16d316feabb6","datavalue":{"value":{"amount":"+0.6770962476730347","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":"Q2915141$AB03F588-9F22-4047-A1D2-CBE375EF6F25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relations as executable specifications: taming partiality and non-determinism using invariants","badges":[]}}}}}