{"entities":{"Q1130239":{"pageid":1140988,"ns":120,"title":"Item:Q1130239","lastrevid":46857216,"modified":"2025-12-25T17:49:42Z","type":"item","id":"Q1130239","labels":{"en":{"language":"en","value":"A decidable temporal logic of parallelism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1192483"}},"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":"Q1130239$7FF9D72C-93BA-4012-9D6B-F2211541DC07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70557dcb09a8a033eeaee28ce293bf30741ddb97","datavalue":{"value":{"text":"A decidable temporal logic of parallelism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1130239$5EAC89CF-0B97-41E3-8C23-9E449883618F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9068f059883e942f1f9c7c523bc79b68936f985f","datavalue":{"value":"0904.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130239$5B3A1A08-949F-4FA6-B4D3-2A7EEB5F8AAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$FF07447A-B112-4740-AEA6-E9924E7C1EBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5451c4336beee9334761b879ad3d3c365319b6ed","datavalue":{"value":{"time":"+1999-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1130239$3072D831-71B5-427F-A9DC-F5CB2E8ECE1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130239$3D4F87BE-D64C-4151-99E2-97BCF21E40AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130239$F8C60F9D-A692-4E48-8174-1BE912AF5313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130239$E68A5FDA-423F-49D7-90EA-6C9F359B2EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130239$2CA14A6F-DE35-4433-8C81-3661FB7AB3FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dca31ae524ddfe4eaed0887aeffebcfb296abbc6","datavalue":{"value":"1192483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130239$959A1949-48F9-42F2-AB7D-62449D63C116","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130239$5928CCAE-405A-4A18-AFEC-B13270BD8665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4503daf68f14768f34091d7d8ade372da172d1cd","datavalue":{"value":"parallel universes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130239$311EAB44-C8FF-4349-B406-D55FCFC978EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6624cd6aa809cbeb3aea8d8a5c262cf35436bf48","datavalue":{"value":"parallel processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130239$D54E9802-40B6-4C19-AE20-F50C75FD2B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130239$346112AE-5209-4C17-8142-D20B94372BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11f4e2dffa968362e34a45eea585222bae2adba6","datavalue":{"value":"multiple agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130239$01BE0DC4-EB3A-4DC7-8C88-0A05B3B1B963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cdd794fe7ca7404cb252a567a86cbae38414480","datavalue":{"value":"mosaic method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130239$8B5C5E15-884B-4DB2-B1D5-30422E7D0C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130239$08470235-2DE9-4FF7-BB66-F98F1024A347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130239$AFBA1355-3874-4AFB-9B3B-DE886F25618B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$D6C30F1C-36DA-43A7-BADC-34C41FF98560","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":"Q1130239$EAF5B287-0B35-434A-87CE-C2ECC9FD0EAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35e0c7fd2a7a255a6d0bb9853ae76525fc2f560b","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1039700748","type":"string"},"datatype":"url"},"type":"statement","id":"Q1130239$FF8A1714-0030-4F5A-BE09-2B169E26C434","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b447da8669358db8bd1d672c3a495eb4887ec942","datavalue":{"value":"W2040022302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130239$96C0FC9F-C968-486F-A9FA-CBED3DFB507B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ce5aa56258788dfb3777204e4d711600da6de7","datavalue":{"value":{"entity-type":"item","numeric-id":3856738,"id":"Q3856738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$9F5F0580-04D4-40C1-8FEC-290D6A820636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22cae326ca6782a9a0cf6ea4636c52afcebb5ab","datavalue":{"value":{"entity-type":"item","numeric-id":4518428,"id":"Q4518428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$E2800A69-1166-443E-9098-1C27F94B8070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b56ffa817ff99d2a90db1238c8dd268bb39df0","datavalue":{"value":{"entity-type":"item","numeric-id":1272831,"id":"Q1272831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$FD479786-954A-44FA-AC3E-C6E42CBC6B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$80F7D6C4-538C-4B05-98D7-CC5B61A34C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007fb9d8ecbf561662de071db19edff341db46d3","datavalue":{"value":{"entity-type":"item","numeric-id":1815427,"id":"Q1815427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$FBCC8F0F-F2CD-4EFF-B55D-85D7923B6D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958a040e091661b15eedf53ec690abc9e5b16350","datavalue":{"value":{"entity-type":"item","numeric-id":1314287,"id":"Q1314287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$478ACE3F-7639-4D32-A819-27F07E1A8E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$F1D594ED-A1D5-4620-BB98-0B5D672216C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"892cd8c8a85cb9d6724b48bbea3e1483e3c424ee","datavalue":{"value":{"entity-type":"item","numeric-id":3708772,"id":"Q3708772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$B96D3799-92AF-4D62-8865-7B8BD3DADA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb8967f24f91589a2ac118758e3da6ec1600e526","datavalue":{"value":{"entity-type":"item","numeric-id":1900185,"id":"Q1900185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$ED11B9C6-0BAD-4EA2-8802-F484F6CED4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a3e30000a52fcde14fd66e53f3058bbfbe9e9be","datavalue":{"value":{"entity-type":"item","numeric-id":4250042,"id":"Q4250042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$6929AED1-0461-4055-AB65-046C454645A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a96d70159cc7d872387a06ef5ad78fc8f0ad9bd","datavalue":{"value":{"entity-type":"item","numeric-id":1204527,"id":"Q1204527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$F867E08E-D03A-4A35-9356-1416484D34DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b075c925610a1136f6897af3c23ae2fda0cd16","datavalue":{"value":{"entity-type":"item","numeric-id":4242586,"id":"Q4242586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$89C3F32C-2EB1-4E67-86EB-4912C811582D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9078a468078356fd07f0368352f90217554f2d83","datavalue":{"value":{"entity-type":"item","numeric-id":1058846,"id":"Q1058846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$A6FFEDCA-8A88-494C-9464-3BCDBB52CB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255b3664dfea16cc525f06c300cbfcffb9568d97","datavalue":{"value":{"entity-type":"item","numeric-id":1130239,"id":"Q1130239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$2D678EA6-8B47-41C3-8E87-FE7C0E6898C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e0dd697411ef2df8a5f9f8c6187fbc8774850b","datavalue":{"value":{"entity-type":"item","numeric-id":5921595,"id":"Q5921595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$14D06DD2-1D46-4C60-BEBD-1AD3AA00D5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7149b5c6ff43b6cd0d6c5f6709ff45f6ee1452ed","datavalue":{"value":{"entity-type":"item","numeric-id":4342095,"id":"Q4342095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$12F2303C-05A5-47F3-AD71-794DECCB61CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87fd72b68267ed148f52f3c66efe651a6d4ae876","datavalue":{"value":{"entity-type":"item","numeric-id":1150598,"id":"Q1150598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$4DC27CAF-A79E-4670-9D8D-59F92E48232A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8515414e75e094937d6e5df3b3292f9b8bcc8d2","datavalue":{"value":{"entity-type":"item","numeric-id":1310622,"id":"Q1310622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$95323C88-A422-4FA0-8D77-C9FA8E6F63A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65eccfbc8697df514c56fc0b5164f8796af3eea","datavalue":{"value":{"entity-type":"item","numeric-id":1362587,"id":"Q1362587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$4428819A-C43E-4C78-851A-438775CDC0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4625a8b175c798b9b816252c4eb7b84249a3d851","datavalue":{"value":{"entity-type":"item","numeric-id":1066884,"id":"Q1066884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130239$3CCBAFFD-641F-4E1C-9E41-4DB75D3CFC7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"326cf41e6421f61603e049a58705a91a2177b260","datavalue":{"value":"10.1305/NDJFL/1039700748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130239$B86C1C6A-25CE-4420-A09C-E50B2DD3BEC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0445f49aafe1d4192abbb7b0d6cdc78f3a73c2","datavalue":{"value":{"entity-type":"item","numeric-id":5434528,"id":"Q5434528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87f4a14a69e829a3ff473fa76b5ebe2579a1df48","datavalue":{"value":{"amount":"+0.7941955327987671","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":"Q1130239$56ED54CA-A5F4-4C44-B76D-6ACFD71C1355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96571dfd91776fd7d293d02dc0192545fd275bfc","datavalue":{"value":{"amount":"+0.7941702008247375","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":"Q1130239$5ED44562-CD6D-417C-898F-4437AADBAE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7daf775e908afc5478cc2c4d1d066664b7ec03ff","datavalue":{"value":{"entity-type":"item","numeric-id":2849487,"id":"Q2849487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1224d721d7f6570615361511f31194c8f66eabd5","datavalue":{"value":{"amount":"+0.7939220070838928","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":"Q1130239$59B32C43-09CD-4895-B848-B478B0126102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b334be2cef79432c277cb66336f6ae8ed8247a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4251979,"id":"Q4251979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3b032ba2941743e4470b28fb7230538f8713fb","datavalue":{"value":{"amount":"+0.7824377417564392","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":"Q1130239$E35F6538-666C-4BF9-B1E7-E3051D56906E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34cd3c4a1a0189bceaa73ebd668be335f4e0e149","datavalue":{"value":{"entity-type":"item","numeric-id":5027245,"id":"Q5027245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b91c7f7089b01e70003c5436383e74b1eeac7ae6","datavalue":{"value":{"amount":"+0.7809178233146667","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":"Q1130239$BB19D0CB-4F37-4FEC-A71D-08768EE549C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1130239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1130239"}}}}}