{"entities":{"Q4035233":{"pageid":6064953,"ns":120,"title":"Item:Q4035233","lastrevid":55235608,"modified":"2026-02-05T04:03:04Z","type":"item","id":"Q4035233","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176132"}},"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":"Q4035233$6E11D5C0-0046-4FA5-B751-0CF446707171","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"100e31736b446fb09653ca176bafc13335981e06","datavalue":{"value":"0777.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035233$E996DC01-FC20-4AE3-901E-FF8FAC5CE7CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec51c07710be78560907d5497cf10b0b2c10907","datavalue":{"value":{"entity-type":"item","numeric-id":199202,"id":"Q199202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035233$9193ED35-1B3E-4A7D-BEA3-286BF55019A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95d56fa69daeb841762fcc163127358c82f6b275","datavalue":{"value":{"entity-type":"item","numeric-id":530215,"id":"Q530215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035233$7A83B5A9-2232-4E4A-9643-0204A44D407A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4035233$A8999575-0B32-430E-BD48-637EF533A5D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035233$9D55A554-1091-4156-B188-190C2A13F738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035233$4667936E-5FFF-4CA8-AEEB-D25A3FD3F1CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae3608112a84f16757293cf815a5c48923a1dab2","datavalue":{"value":"176132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035233$331C543C-CBE1-403D-A033-86CF5EA18910","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09bc31cac76c5efe01edc4bfa9f3a18c3a3e693e","datavalue":{"value":"semantics and specification of concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035233$01643766-D476-4CED-BFD1-532255DBE1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035233$0EE12449-4435-43DF-B35E-85FFCF7FAF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035233$7116B316-C262-452A-AB7A-3637C744F50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035233$CDF44C5A-FC32-49FE-973B-44C69430D093","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":"Q4035233$7DAA991F-56C5-49DA-A5BE-5070FCED9D2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c638aed1c8277fbfd21e45c4bc9e0bf2957e4f","datavalue":{"value":{"entity-type":"item","numeric-id":4018071,"id":"Q4018071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00671e98af0e9ff7a4705bef5cbbfad743a86715","datavalue":{"value":{"amount":"+0.8355190753936768","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":"Q4035233$7A35D206-ADBB-49CF-AACF-4FCA119C44B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2ee2d5e80fed69d640a7a187cf676db34d3e96","datavalue":{"value":{"entity-type":"item","numeric-id":4296298,"id":"Q4296298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba26d345dbee14f28efdb0b34847a57c84979ae","datavalue":{"value":{"amount":"+0.8060462474822998","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":"Q4035233$D2BDD70B-35BF-4872-8052-3E63FB7B0A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ea06f0ef2be204cd5a58206aa876a11adfe6ab6","datavalue":{"value":{"entity-type":"item","numeric-id":4023588,"id":"Q4023588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749c6cadb78bbd30172695fe847f8c6a251e2211","datavalue":{"value":{"amount":"+0.8039974570274353","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":"Q4035233$DFBE61D3-4DAE-40CB-AAC6-DD5CD9368E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00eeb0d798573ad1642f2d41f77dd8eb4e2388fa","datavalue":{"value":{"entity-type":"item","numeric-id":4036589,"id":"Q4036589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ed09315105e2d7eb7e9fafc8b1916ffc620240","datavalue":{"value":{"amount":"+0.7802042961120605","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":"Q4035233$1B0937FD-0417-4E5E-8C7B-80D21F0C2C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31b5038b1fce227a3ea7bb62e4ff1ac140ad69b","datavalue":{"value":{"entity-type":"item","numeric-id":5403471,"id":"Q5403471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b6363d5e406b0b078d3fbe698d1f145c188946","datavalue":{"value":{"amount":"+0.7751073837280273","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":"Q4035233$6A47E401-90D5-4F8E-8CF5-9F9AFC501ADF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4035233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4035233"}}}}}