{"entities":{"Q3613067":{"pageid":5642973,"ns":120,"title":"Item:Q3613067","lastrevid":88531277,"modified":"2026-06-04T14:46:28Z","type":"item","id":"Q3613067","labels":{"en":{"language":"en","value":"On Distributed Program Specification and Synthesis in Architectures with Cycles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527874"}},"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":"Q3613067$B5FF4E78-0435-404A-AE97-371A92A6EA21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a65e9eb3a4942e349235be4a23e0042c7d41e69","datavalue":{"value":{"text":"On Distributed Program Specification and Synthesis in Architectures with Cycles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613067$3FFDF21C-45AB-4AFA-A3F5-7A18C510EDAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed74978a4d9eea5c9129073ba70bb6c0dcb70d23","datavalue":{"value":"1225.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613067$34CF6FEB-9B9D-4A85-ADEA-D53CD2E29078","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"482cfa1b4e9e42dc24d0af65d69784a1530ef243","datavalue":{"value":"10.1007/11888116_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613067$832937CE-39FC-4368-8DA3-A7BC81F70979","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a76490bcbac695294d3aea5328989b40e958d864","datavalue":{"value":{"entity-type":"item","numeric-id":3613066,"id":"Q3613066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$71C15321-D57F-4C01-8FF1-E20FC8FB6B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63b87220b128340149e10ebf560470ab65c97307","datavalue":{"value":{"entity-type":"item","numeric-id":906980,"id":"Q906980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$F173FBF7-0F11-4F3A-A0FD-809F0E9A5B31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$0753568A-97E4-405C-BF42-474EBC7D926C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a864b5d6abdacf3ccff048e2a2e153fd9fb65d1f","datavalue":{"value":{"time":"+2009-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613067$0601524D-075F-4BD2-9FF7-D4D98AA21714","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613067$D4A503D4-994F-4A4E-9640-50777F52F20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613067$6A715EEB-7D9F-4A2C-9BCE-4D662445579C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613067$6CABEE08-C42A-46CB-AC45-7631638055BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8877f309d5a7499e4d4b9b7a420293340d4e31bd","datavalue":{"value":"5527874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613067$71F7E368-EF9C-4B77-ABBE-D718FE796DAB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$3A073763-B279-42D3-9DE1-D59060665622","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":"Q3613067$D9287255-0997-46A9-97ED-4CB4C77567A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68618ac3e97d37efcf5f017f19148c00311f00a3","datavalue":{"value":"https://doi.org/10.1007/11888116_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613067$DFE5BD0F-04FB-45A9-AB56-0E81BC0A7322","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f354a463da2654019a93dd1f8b6245504b99caa","datavalue":{"value":"W1578324897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613067$7E91E57E-0EBE-4941-B104-B6C92F9D0F19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12123f1a50529dea581d6f547f771dda54e3e3d5","datavalue":{"value":{"entity-type":"item","numeric-id":4791855,"id":"Q4791855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$918DE026-6570-4751-8544-BEA43341B6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574e6db6de4a9c8f0d60ec1d1dbe987f2f7e039d","datavalue":{"value":{"entity-type":"item","numeric-id":1401346,"id":"Q1401346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$40AFEBB7-B09E-4EBE-8038-78927FF863A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92ae5e2b9be9590a09163a105ebb9a4c3004d41","datavalue":{"value":{"entity-type":"item","numeric-id":5492958,"id":"Q5492958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$DBBC9DE9-5678-4580-86AC-6AF4065243C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4b27df433dd681bd3bffea572d668a1d25f01d","datavalue":{"value":{"entity-type":"item","numeric-id":4719062,"id":"Q4719062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$BDE8E5C3-EA6E-44C4-A1EC-9BF54407AA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e35d6c7eda7b15211e8969f9247637ed3b0046","datavalue":{"value":{"entity-type":"item","numeric-id":5491869,"id":"Q5491869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$208E5B95-FF4B-497D-BB4C-C3486F47CA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c96acf389200ae0a7534eb1dede3d1d0c171ad","datavalue":{"value":{"entity-type":"item","numeric-id":5465860,"id":"Q5465860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$3CD4D208-52CB-4202-AB11-D9C9459B1111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04035c7fdda99f9c1b704f71fe00133669329424","datavalue":{"value":{"entity-type":"item","numeric-id":5901665,"id":"Q5901665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$3DC602BF-5744-41A8-9F76-011675F006B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee173fb495f48d034bb2b9253e5a1e73bb8a9b11","datavalue":{"value":{"entity-type":"item","numeric-id":4837112,"id":"Q4837112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$75900E4F-4A10-4340-BCE2-F16E14D6DF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038a119376752c8e014cdd5dc9e112517a380d5c","datavalue":{"value":{"entity-type":"item","numeric-id":4535033,"id":"Q4535033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$CF24A6AB-134F-44A8-8CA6-3D88B892A2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e822826ef2497f550a67f6305020a0e46bc0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4484484,"id":"Q4484484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$15E61691-A190-4CCB-B414-6D4966534D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8d35691c4359f85cf61b888d8c79d316b4ccda","datavalue":{"value":{"entity-type":"item","numeric-id":5191530,"id":"Q5191530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$08205CE4-1A34-428D-9319-1140F045B1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d7760728e061f488af1326ad837ca1b9b91dbf4","datavalue":{"value":{"entity-type":"item","numeric-id":1609052,"id":"Q1609052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$DB8C4619-2407-4DA3-AA08-DDD042FD861B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$C5296408-2A5F-4266-92B5-73F63997DE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dd2a3abf043fa81e3cd0573192ece3199721d","datavalue":{"value":{"entity-type":"item","numeric-id":4031515,"id":"Q4031515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613067$892398B0-3AEA-4C75-BAF0-5E883CB6A0EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9fb8ebac4ad5d031bf9945a7998c194d46a6e3","datavalue":{"value":{"entity-type":"item","numeric-id":2978553,"id":"Q2978553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7a68930ad6d70e8e399c0d808209457a49ba6c7","datavalue":{"value":{"amount":"+0.8313657641410828","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":"Q3613067$8281247C-6D2D-48B1-8133-B2BA425D32DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca9ab59e8807f34ea8c7250d6cb4594ac8edd2a","datavalue":{"value":{"entity-type":"item","numeric-id":842581,"id":"Q842581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184158e82d899be9b9b2c698a32cac521b7a4b26","datavalue":{"value":{"amount":"+0.8079217076301575","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":"Q3613067$7ABC1428-0245-456F-8CE0-EEDCE2491B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b16fcda0aefd9141ea880f5857cec00a579de002","datavalue":{"value":{"entity-type":"item","numeric-id":5385996,"id":"Q5385996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5572bc352757dd040821cd2017d394cba0e9be6","datavalue":{"value":{"amount":"+0.8041250705718994","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":"Q3613067$C410FC29-F6C0-475D-BEFA-D8064866EF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6448fe94f80c0e48076a83d53d2b0505f483488d","datavalue":{"value":{"entity-type":"item","numeric-id":3088069,"id":"Q3088069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70728b9f3225373de8268601879a3ecc90faa4c2","datavalue":{"value":{"amount":"+0.8005316853523254","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":"Q3613067$85B369EE-A85E-4BA9-A14E-7A3D1B0DC4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cc52e06ad5309cedad88a1ac03be43d7aaf760","datavalue":{"value":{"entity-type":"item","numeric-id":2249664,"id":"Q2249664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ffb65f95475f0dd2d3607bbd51559bc98e5990","datavalue":{"value":{"amount":"+0.7984005808830261","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":"Q3613067$3AAA5E09-5FA2-493D-8D84-9E1067A8D6FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Distributed Program Specification and Synthesis in Architectures with Cycles","badges":[]}}}}}