{"entities":{"Q5881186":{"pageid":7910737,"ns":120,"title":"Item:Q5881186","lastrevid":47823763,"modified":"2026-01-02T19:22:25Z","type":"item","id":"Q5881186","labels":{"en":{"language":"en","value":"A constructor-based approach for positive/negative-conditional equational specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661549"}},"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":"Q5881186$0C4AB06D-C0C5-43DF-9F17-6EDEF2628917","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9ca9b13b9ef3d313fdf51042fb8b5e763e2fe50","datavalue":{"value":{"text":"A constructor-based approach for positive/negative-conditional equational specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881186$7EAC5F84-FEC3-471C-8DD1-06C2E1541701","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"435d8336767947742839bd7d58df6da9c5466c99","datavalue":{"value":"10.1007/3-540-56393-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881186$2F57430B-F6B3-4524-8470-9DE1A694A49F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a9059fbad1dac267c8b3db87819e98298f3d65f","datavalue":{"value":{"entity-type":"item","numeric-id":429595,"id":"Q429595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881186$8853DDCD-64C9-43C0-B766-282EF7C64A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebd62929982c5bab719524b29f6af40450c0159d","datavalue":{"value":{"entity-type":"item","numeric-id":671505,"id":"Q671505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881186$C7E57460-F097-4864-B130-43F765D58292","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00eb62236e33a5483cf4681f1956ae601238d263","datavalue":{"value":{"entity-type":"item","numeric-id":5881171,"id":"Q5881171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881186$B8D9288C-C4BE-4E18-9C48-66674B4C2DDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881186$36D587C7-0FE0-4E8F-96FA-3953D8E291A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881186$77AA5F77-DF49-416D-9895-D5BBAECFAE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881186$3240F846-8AD1-4931-99AD-679C9AB3C7DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9ea733ac2ad8768aab9633fbc5f5d33e5291eb8","datavalue":{"value":"7661549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881186$E308028B-0A85-4AF7-B634-D064230F89CA","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":"Q5881186$05793568-3CDB-4F59-8998-7F578086DC38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9480b75eea578219be245ff2054a92c3b0ee3345","datavalue":{"value":"https://doi.org/10.1007/3-540-56393-8_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881186$3199277C-0359-4DDC-AA0D-D078E3C6B7AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76524fce1dfba34fa207c46d3e3b2a126630ca61","datavalue":{"value":"W1545362745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881186$7A8E1DB2-93D8-465D-84F6-12967ECFADA2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f8f7ccc1c97a833573f62334972a5021fa3d72","datavalue":{"value":{"entity-type":"item","numeric-id":3817653,"id":"Q3817653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881186$58BE1968-6D69-488E-AA47-F6C0605DC3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5835e2c6da0ce1ead1efe351018c8c82f67161d3","datavalue":{"value":{"entity-type":"item","numeric-id":5881188,"id":"Q5881188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881186$CC1D3B1A-F463-4C17-9E4A-CAF142F555C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9f23bc58febcc60aff99ac387949cd328d3079","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881186$D78A1BF1-8E21-4922-83D9-0886D89FF60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd8f5a7508e8ed1812cdb5f71b5cdb7d05495","datavalue":{"value":{"entity-type":"item","numeric-id":3817657,"id":"Q3817657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881186$858273C0-5C7A-43CF-89B9-9C47F3EC9C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989303c3f01780ec3752ac791fe5233d16a37b4","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881186$22F40ABB-3D19-4DD5-BA31-1FEDD4DBA38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76059eb25ccaa777f5a88bc69700bfe2d6f4c465","datavalue":{"value":{"entity-type":"item","numeric-id":5881186,"id":"Q5881186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881186$AF30416C-382A-49AE-9C15-FA3F01C493FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d6298466ee39bc47de75b1df0e1129a6ebaa6a","datavalue":{"value":{"entity-type":"item","numeric-id":1332337,"id":"Q1332337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b84bf00cde758ccf089d4d9690da83e0e41fee","datavalue":{"value":{"amount":"+0.949722707271576","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":"Q5881186$74DA0EB3-1BC8-481C-A221-2E5D68CF2423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0708fd134b7a5793cc1699877aba12ba7e6e5e","datavalue":{"value":{"entity-type":"item","numeric-id":3819995,"id":"Q3819995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73feef90fd62941caeee383f9524868f664cd725","datavalue":{"value":{"amount":"+0.7988811135292053","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":"Q5881186$F2FE7110-9AAE-44FD-B53C-CA6AC994298A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2339ec47b97413a3a62b41c657b8eba74c9dd66e","datavalue":{"value":{"entity-type":"item","numeric-id":3795208,"id":"Q3795208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897b0ac138f16116ae7763085a2ff642af07decd","datavalue":{"value":{"amount":"+0.7564504146575928","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":"Q5881186$CC144A76-C55D-46DA-9E2D-C4A984A800EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f3df1c0571e678c10e7f09f353de0c8a8b0196e","datavalue":{"value":{"entity-type":"item","numeric-id":5044723,"id":"Q5044723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"675836b9fbe69661a63f18ff7062164cfd0d09ef","datavalue":{"value":{"amount":"+0.7484917044639587","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":"Q5881186$5D6B678C-AE4C-44C8-B436-12C99F6B64D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9775cda2bb2411487bc1e6f0a94cd052e99d687","datavalue":{"value":{"entity-type":"item","numeric-id":5881187,"id":"Q5881187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25979562bab701e802f34bd3e5ff39c81e64cb04","datavalue":{"value":{"amount":"+0.740951657295227","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":"Q5881186$EE427A85-6F74-45F3-B035-C564C4EFCE95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5881186","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5881186"}}}}}