{"entities":{"Q5881266":{"pageid":7910817,"ns":120,"title":"Item:Q5881266","lastrevid":47823886,"modified":"2026-01-02T19:24:32Z","type":"item","id":"Q5881266","labels":{"en":{"language":"en","value":"A proof system for conditional algebraic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661638"}},"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":"Q5881266$7E7F3C34-A098-43D7-8544-A61D651BEEDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0788c8eb927fca3eb61dc6ed227c90beed78cd71","datavalue":{"value":{"text":"A proof system for conditional algebraic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881266$250A2C1E-524E-406A-818C-81EA83498FEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff742db2f1776572bd5e8b382fa2390a7c5b299e","datavalue":{"value":"10.1007/3-540-54317-1_80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881266$D79A17E5-E611-4F72-9AC6-0B04BC9D7CD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20b4944fe4b96d4fda5cc5e09d49f0846d30e2b","datavalue":{"value":{"entity-type":"item","numeric-id":685351,"id":"Q685351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881266$A27E8616-CAB1-4CB0-9990-6749FBE1E512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881266$473ADC10-F2D0-4971-97EC-2442A6BD8168","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a4b5901641e74cf791bcdabc63125c8cff24565","datavalue":{"value":{"entity-type":"item","numeric-id":5881262,"id":"Q5881262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881266$13ECC76D-A0CC-4D7D-B3D3-C27FB5FF35AA","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":"Q5881266$453DF166-048D-427F-89CD-698D6F135F54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881266$BCAA5803-BEFE-4725-B404-759847316995","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1440220b119acffeb0788aaceb90ed79bdc20cf2","datavalue":{"value":"7661638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881266$14CDD8D3-A96B-4BB1-BF47-3C70E886E50C","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":"Q5881266$C1734257-67AB-4A4B-A1D1-B2DFB0297C67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b74ce961bda262ea32ded4ca7783fcb4afe09d3","datavalue":{"value":"https://doi.org/10.1007/3-540-54317-1_80","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881266$82CD1F10-B72B-4C5F-B3AD-ACAD8E7FC199","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e72a976eb34d48e8ef5e542950b6d44833e05255","datavalue":{"value":"W1524428713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881266$1D601C23-053D-40DF-AC13-2EA2AD97A4E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec45a842bd7bf87466a82e7175870b8977fe49b","datavalue":{"value":{"entity-type":"item","numeric-id":3707361,"id":"Q3707361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881266$ABB2AA88-DBA8-4CE7-8FA9-8802AF387F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881266$EEBDDDBF-BDFB-4CB5-B152-5EA11DB68135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881266$2809CD14-35C7-4802-B1CB-55A5109A34E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ce7d0f1851c452c921612fdb804e4aabed6d9f","datavalue":{"value":{"entity-type":"item","numeric-id":3753472,"id":"Q3753472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881266$FBEE7AD3-3AE3-4BBB-94D1-3C8C1D867285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881266$4C002B3F-1EA7-4112-B6F7-6A63652FC6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881266$663F64BD-0ECE-4000-B585-FB00352289E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"407daa1c47ad4e1b7bcdfae46df97a17606dddfa","datavalue":{"value":{"entity-type":"item","numeric-id":3338226,"id":"Q3338226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881266$BC2F9F3C-0160-4B9F-B57C-35CDFD2DF462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881266$FD74D9F0-5F5E-48A0-9DBA-E0E81AA1B343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe37ba60d1d38231cb146c0ce87f7bab99a4d36","datavalue":{"value":{"entity-type":"item","numeric-id":3690200,"id":"Q3690200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881266$E4464438-3C0E-4D0F-81A0-64ECB2B1D124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7409adbeea4f06044f7b07a21aeeb141df7f0f2","datavalue":{"value":{"entity-type":"item","numeric-id":4712663,"id":"Q4712663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881266$DA8EDD30-CF36-4420-8496-29CBB6AFAA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b624435100aa332b4ed9a77a30a3c9fc845318a6","datavalue":{"value":{"entity-type":"item","numeric-id":3818295,"id":"Q3818295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881266$B7E05A52-CE52-4213-8BEA-B0E23253FDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3430b961ae2404d41627dc88e25eb7ca43599681","datavalue":{"value":{"entity-type":"item","numeric-id":3883463,"id":"Q3883463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881266$7E86A5FB-160F-43B7-BBCE-E18ADD5C4B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e9bdddaebddb563767fdab13b5d71ba14f7f56","datavalue":{"value":{"entity-type":"item","numeric-id":4040341,"id":"Q4040341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881266$BD1B9BAC-60EC-43E1-A0C7-966E00945C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d03a1c424bcaeb63f633ac851296a587c7c9dd","datavalue":{"value":{"entity-type":"item","numeric-id":3732980,"id":"Q3732980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881266$AD896833-1702-42AF-B309-7366C4AE9F4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8868b49d3e6f4c7acc0c984e93c1a7c3be3dc936","datavalue":{"value":{"entity-type":"item","numeric-id":3341872,"id":"Q3341872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c726b3c18d9d88f938a39c903e26e1285aaeb7","datavalue":{"value":{"amount":"+0.794529139995575","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":"Q5881266$8973E565-90FC-48EC-9A9E-649132206C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7581e57bf5e5caa49d7ff5d29d502974c9796eb","datavalue":{"value":{"entity-type":"item","numeric-id":5055918,"id":"Q5055918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c882517d7671d448d67ff771df05312b3ec56d","datavalue":{"value":{"amount":"+0.7909560203552246","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":"Q5881266$714B44E4-3567-4425-9005-A77CDA4CFF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d4d897b48e5d573fc4c338cd4b4ce89686158dc","datavalue":{"value":{"entity-type":"item","numeric-id":5881283,"id":"Q5881283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58599692831fc48257226392c3ca8a0c3fafa9e","datavalue":{"value":{"amount":"+0.7900252342224121","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":"Q5881266$D03BCF7C-B146-495A-BD60-DC0773474D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f8a269e9bd338e02db8289f93130805f1ce8e7","datavalue":{"value":{"entity-type":"item","numeric-id":4702601,"id":"Q4702601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"503dabbbaa3f266a21307141fda43d2c24f70198","datavalue":{"value":{"amount":"+0.7892586588859558","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":"Q5881266$A4EA52D5-EFFA-4815-82C2-09E7E78EA90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f15d30124b9f38158435849219a067400d41d2","datavalue":{"value":{"entity-type":"item","numeric-id":3347272,"id":"Q3347272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f18ebf69907a9b2750b42483a142b1fff42ff2","datavalue":{"value":{"amount":"+0.7877245545387268","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":"Q5881266$AEDE1394-CB2F-45EA-80CE-1B556B068E0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5881266","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5881266"}}}}}