{"entities":{"Q4733387":{"pageid":6762964,"ns":120,"title":"Item:Q4733387","lastrevid":49318756,"modified":"2026-01-06T23:09:56Z","type":"item","id":"Q4733387","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4119603"}},"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":"Q4733387$989B79C0-0F47-4DD9-A284-41F28503CDD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e93bfee0f55aa3d29d5aec7f201ceb58a34f5da8","datavalue":{"value":"0683.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733387$FFCDEFD0-462C-49E3-99D0-CA74C8EDD71D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4733387$30397B82-D130-4277-A372-F43C9E6BD132","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733387$5D4B2D93-A5B6-4860-953A-50D60FA2631C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733387$79A7D2A8-B6EB-4D4D-B9C7-650CAB47C544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733387$381F14D8-67CC-44C5-A4B5-2CED6785E1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733387$1AEA7C9D-8FEF-4BF2-94C4-DF968E35F7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733387$1391C097-07F4-4312-BA1E-731F006F9C78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fe1b858585083f1ffe6966cfc310adc05b15795","datavalue":{"value":"4119603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733387$031BC2E7-1B8F-46F9-8A48-3EAC13B0F553","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733387$A34AD305-4C0E-428F-8A65-3E72E1CBD905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733387$D46AFD8B-F422-4ED0-BBA1-648A58385774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733387$AC9854E8-2DB0-4CB5-B501-4D75B7A931FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e557be61695b6dac16013025cfe75b4d6233139","datavalue":{"value":"Calculus of Communicating Systems (CCS)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733387$B55A5A6F-6AB8-4BC3-B9C6-27A2EC1DCFCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733387$804732B6-27EC-4FD2-B073-A72E5D1E61AB","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":"Q4733387$6DFD4848-799D-4982-96F9-51F30ECF8ED7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d959f06bba255999863baf98d8fab4a687699f","datavalue":{"value":{"entity-type":"item","numeric-id":1182130,"id":"Q1182130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f2caa3c0683c3d33a1b8aa119bf1bccfe85d8e","datavalue":{"value":{"amount":"+0.8315820097923279","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":"Q4733387$2C2CADCE-00DE-4AEB-BFD5-E0A36F234760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8bacc09002edac0affd452a59ca4ea46b4ea55","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fdc7f7c2be0b604202df6b4dff7a9b472fcc23f","datavalue":{"value":{"amount":"+0.8295426368713379","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":"Q4733387$81271910-83D2-48AF-9BB1-7F776BA122BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25308a7597a15a776da79b4b2442bd71b3948ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5286028,"id":"Q5286028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f90555783f41e6604ef362df802ca5cdeac01c","datavalue":{"value":{"amount":"+0.8025739789009094","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":"Q4733387$F5060C3E-822A-47F1-9A52-370D59FAEFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936dd111760f9187a1d0067c171b0e3933072ce6","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f6a0477862a9ff936105f5504b0cc7bab294ca","datavalue":{"value":{"amount":"+0.7944124341011047","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":"Q4733387$C9C5F17D-1EB5-4891-BD2C-8675DB115055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe10faea875401b7de45de89f1ca21e6549535e","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d03711a1c66dcc7e86c7e2953bd99ce004bb7f81","datavalue":{"value":{"amount":"+0.788724422454834","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":"Q4733387$CAF11C29-3751-46CB-B3E0-F78012707DE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4733387","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4733387"}}}}}