{"entities":{"Q3142002":{"pageid":3152718,"ns":120,"title":"Item:Q3142002","lastrevid":47202298,"modified":"2026-01-01T00:03:01Z","type":"item","id":"Q3142002","labels":{"en":{"language":"en","value":"Complexity analysis of propositional concurrent programs using domino tiling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440096"}},"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":"Q3142002$4B735662-B32F-4AF9-A7F5-E166442FC184","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"657e9e7498e68fb3b50a5c46bfb58c4499271fec","datavalue":{"value":{"text":"Complexity analysis of propositional concurrent programs using domino tiling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3142002$D1F790AC-3A01-4C3B-9A68-98F26E31F2B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fd4deb98ad7da570db7d4575c00a3ef89fbf85c","datavalue":{"value":"0796.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142002$E596C644-E627-4DB8-A784-BEBC35C8710A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45c320bae70a029aa3ba2999d40aa9ea032a01df","datavalue":{"value":"10.1007/BF01189855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142002$6A0159B2-8984-4580-9049-0E0201F86F69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef70989854b46304c6274e59f7064331acfcdafe","datavalue":{"value":{"entity-type":"item","numeric-id":344509,"id":"Q344509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$39413A50-CFDE-4D43-8A50-282A4CBCE739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"946ad2426c6899a2dba64517876bdc0ad9bba7b1","datavalue":{"value":{"entity-type":"item","numeric-id":3142001,"id":"Q3142001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$088496B0-7D93-48AB-98B6-3E7D999E537A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a8d775b0b8ac1723ca563ec42b8bfa391952af8","datavalue":{"value":{"entity-type":"item","numeric-id":3026825,"id":"Q3026825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$86C42690-33A0-4E5F-994D-AB3C9590365B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f76288a30164f14e28f1a275b49eb5d03da81a0a","datavalue":{"value":{"time":"+1993-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3142002$0C9C24D2-9D2E-4DEC-BB3A-E7DEB14B5A5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142002$6017F6D7-3F56-4A5E-A93F-8316EA54004F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142002$9F123CBD-F7BC-42FC-8234-10F47846271F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142002$125AC308-4EBD-40AB-AA7C-F27D9F879C01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5ad786e706cb3bfe76b3ce32e46cd82a3cf5c87","datavalue":{"value":"440096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142002$CA63BC9A-BFB8-40F0-8F9F-23C74851141E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142002$2B8266C1-387D-4D0B-A5B7-F6691E4988C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae357f027a6ce896e8c9847b1fab9cd7c0bf8623","datavalue":{"value":"rendevouz","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142002$CE99B846-1B03-46F9-AA86-D70E19850070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142002$8BBB077D-187F-4971-A63C-BB22D0BA5435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c814e8ff78149c2b327bcfe648afa94decff041","datavalue":{"value":"tiling problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142002$F1F8365D-C932-4BB4-BA8C-2AB197D1A0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142002$B52CB08C-4A0C-422E-8725-BD3F49AD0D1B","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":"Q3142002$0C5BFCAA-ED0A-47C0-B2C7-943BE1552378","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3e0bf6d66ae7c4b6b46e88d6d5b96072d8e8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5597521,"id":"Q5597521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$172593BE-B80A-41AF-90A7-7D3636BF1C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28b3ff554a95ba9165844042be00e41e2a69c90","datavalue":{"value":{"entity-type":"item","numeric-id":1822501,"id":"Q1822501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$19D61E9F-DAA0-49E9-93C6-159EA915CE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd39bfcf1baaa5f545762c4d72b1d8433b3fb86","datavalue":{"value":{"entity-type":"item","numeric-id":3777453,"id":"Q3777453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$6BEBD99D-36D5-47DB-BEFE-9ACA96DD2CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$5729FE61-BA2E-497B-87A5-D312A47FBBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ed187b0f4fb9687a137b25359429dcf6e90815","datavalue":{"value":{"entity-type":"item","numeric-id":3495644,"id":"Q3495644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$453904DE-DA27-47EB-B058-E02424F2CEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$732E1322-8C30-47F0-981B-B7C7D64C5943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8348c96e4d335402fbd550ffe9a5e2388b698e2","datavalue":{"value":{"entity-type":"item","numeric-id":3313255,"id":"Q3313255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$0EEFE55E-6851-4AB8-A268-BBE7D7E7028A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$A594C0E0-A373-430E-9939-ACDE760605DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b282ec426ce8dffbfcad6628f7a302c0f02e72","datavalue":{"value":{"entity-type":"item","numeric-id":1098279,"id":"Q1098279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$E3441D5E-4722-46B9-905F-73791E709E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235fb3183968eaa336d2af78465b477fb3d4674","datavalue":{"value":{"entity-type":"item","numeric-id":4385540,"id":"Q4385540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$17EAFD06-E1C8-498C-A8E4-9B1E1DF0B64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57375aaeb2518d9af85d4868f1b2eb7c14017efa","datavalue":{"value":{"entity-type":"item","numeric-id":1146980,"id":"Q1146980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$57291201-8D90-49E3-B654-A9EE447E0446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f28db7f96068e5ce3938c306e6d15e9aefa614","datavalue":{"value":{"entity-type":"item","numeric-id":3915990,"id":"Q3915990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$AC2A3DA1-52DC-4F36-99FE-E7AF8DFDC16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$97839C2B-6CF8-49C0-9B3E-30A766FE247C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b8dc51fead714b2181fe77a23d97d81b23def7","datavalue":{"value":{"entity-type":"item","numeric-id":1095653,"id":"Q1095653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$238720DA-CBA5-49E6-997F-B3D932CBB5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d5f7fdd407b024c3b8e20cb24651ffce7db825","datavalue":{"value":{"entity-type":"item","numeric-id":1134756,"id":"Q1134756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$190C8CC8-B49F-493D-8351-0331174A5508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f0d71b5e1cf68927e05cce9da9c6f8031ac8361","datavalue":{"value":{"entity-type":"item","numeric-id":5186732,"id":"Q5186732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$5EF7EEB7-BDBE-4FD5-A5E7-D7FC089EAC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c5d8de8beb562585db874b4453a309269483c1","datavalue":{"value":{"entity-type":"item","numeric-id":3664420,"id":"Q3664420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$14A588ED-7B88-4831-83F4-6D5DAB4AEF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bebe258faa5cd05d5f8eec57dc098eb8a0cf07b","datavalue":{"value":{"entity-type":"item","numeric-id":1193883,"id":"Q1193883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142002$FF406DAC-9BA4-491A-A210-46559AF6CF5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a16906031a0125806525ce9d0adff589254f531","datavalue":{"value":"https://doi.org/10.1007/bf01189855","type":"string"},"datatype":"url"},"type":"statement","id":"Q3142002$4D4EDFFB-73F1-48ED-915C-B8744179B5AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c08459855d469888b6b7870a343d3058f4e1b9f","datavalue":{"value":"W3160961226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142002$3840E146-02E1-43A1-B176-B1ABEA3223B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a187ae1d19f26af608e43054f386016127dde2e2","datavalue":{"value":{"entity-type":"item","numeric-id":1193883,"id":"Q1193883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252bf45a07350d44d8543c5105da8d12cf211caa","datavalue":{"value":{"amount":"+0.8154246211051941","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":"Q3142002$7E877AA5-B214-4F48-9989-F4BDCDAADF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7384b81061f406c94cc9796003c30d12f7379b1","datavalue":{"value":{"entity-type":"item","numeric-id":1822501,"id":"Q1822501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ecc3b6995452275c4f7a32ac7880922d6468c39","datavalue":{"value":{"amount":"+0.7692188620567322","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":"Q3142002$DC2E9292-4BC4-4A9F-BE84-E4ADF9EA9E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85020ce4f48c58054db5a483f74effc376bce0f5","datavalue":{"value":{"entity-type":"item","numeric-id":3313255,"id":"Q3313255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f60814ee01ba295b7602c4ea238426aeb799f2e","datavalue":{"value":{"amount":"+0.7657551169395447","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":"Q3142002$B32C53DA-509F-4D23-A772-A6B238775E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c62ce0f9eecae409c1c3dc4951ce2087e31eeb91","datavalue":{"value":{"entity-type":"item","numeric-id":4348133,"id":"Q4348133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"163ef5bcbec27ebe69a5d6e399a1dc1bfe55571c","datavalue":{"value":{"amount":"+0.7508781552314758","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":"Q3142002$C474620B-11D7-4A35-851A-045AF80D5386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cfe3262541a7a59fb83ab048449b69e511e42b8","datavalue":{"value":{"entity-type":"item","numeric-id":1331945,"id":"Q1331945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf3b1cba3ebb8280c1003ea424f70327193cf898","datavalue":{"value":{"amount":"+0.750878095626831","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":"Q3142002$2C44DBA8-8F75-4926-958F-454EC1302C86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3142002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3142002"}}}}}