{"entities":{"Q3948585":{"pageid":5978490,"ns":120,"title":"Item:Q3948585","lastrevid":55074178,"modified":"2026-02-03T10:19:04Z","type":"item","id":"Q3948585","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3767031"}},"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":"Q3948585$1D5844BF-C614-4728-8D6C-9C3805158745","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4cca4fd2f036acabbe88f568728121f5294eb8d","datavalue":{"value":"0487.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3948585$DDE06365-DA6D-4AC9-B4FD-ED0A4978324B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3948585$76760BC6-E2AA-4855-AD3C-0F7FA1C36999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebafce9516d4c14b715c69adea30ca40313f766f","datavalue":{"value":{"entity-type":"item","numeric-id":930284,"id":"Q930284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3948585$6DE86526-6D91-4DCA-8ACA-76682BEB8DBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3948585$8BD8813E-29CF-468B-9E49-AE76EA69CDEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3948585$8B9CA349-65CF-465D-9524-92F61D184E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3948585$E45657F7-6CA9-45F1-9756-CA4FA567416D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3948585$F5BE80B8-CE1F-486B-B251-853523AEA499","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71bf799a9260409ba9364e20d9fb06c8a02c5f15","datavalue":{"value":"3767031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3948585$159A409A-2832-495E-A2D7-3F7B2D5EEEE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3948585$4BA90886-8E56-4F31-9013-815299C489B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3948585$0450895F-8747-4ED8-AD1D-32101F316470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79d12c13a64b9752146dac8cf4a280d884e30830","datavalue":{"value":"synchronization part","type":"string"},"datatype":"string"},"type":"statement","id":"Q3948585$BB1B73D2-F3D7-459C-9568-91D05F600FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f0a0d846f96d0ad21fc394acb3c1906b48ab4b","datavalue":{"value":"propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3948585$5E28CB04-74E6-4794-A9D4-66D028E0DC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3948585$B5999463-8900-4294-9FED-7041F9B3E23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253280367e5852d8c4715b30d32c3da1322bd6f","datavalue":{"value":"communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3948585$2BD2B7A1-5C66-4141-8850-B42E33853973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3948585$EB88AA99-4CA8-4D69-9541-03B3EFC3394A","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":"Q3948585$2B7A56CE-CB60-48B3-946E-CDDD459FF2A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3948585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3948585"}}}}}