{"entities":{"Q4733376":{"pageid":6762953,"ns":120,"title":"Item:Q4733376","lastrevid":41567925,"modified":"2025-05-05T23:07:12Z","type":"item","id":"Q4733376","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4119592"}},"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":"Q4733376$DAF7364E-49C1-4358-BBD9-1BE05CE39AC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3589ddb85a7e2fd4119d72722b590adaa393c13","datavalue":{"value":"0683.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733376$CBAB9DCC-0D7F-4347-BCBA-D601FC9E8F2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q4733376$639CBCC6-5D87-4003-88ED-4DB1EA39DDD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733376$048F3B5D-1789-4BBB-82D6-82365A14F903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb92a23a58a049f3c204d4eddc79bea9d2a42861","datavalue":{"value":"00Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733376$ED8A01CD-45D2-4B52-922A-6235A28EFC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733376$8D7D764A-E9C0-4A11-943E-AAC2CA356F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733376$2DAC2DF2-BC56-4562-BE9C-6A3A4509CB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733376$19E1297A-CA06-4744-90C4-E60B53C52A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733376$2D3F30A3-EA48-402D-8FBA-43D0B1BA7840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733376$6E8FE421-778E-490C-B00D-BF333B5FAB8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19a46f8b3a7e8fc4cfc010197b894690a4073bdf","datavalue":{"value":"4119592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733376$64ECD464-2963-4854-BF31-FAC6927B910B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b395c9d664fbed16f20964fa50ce95004321683","datavalue":{"value":"Temporal Logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733376$1C08C7B5-2EE6-42F1-A774-67F8E1FB8FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bddffe859796d8418ef6a4c2584314dc7d9528a","datavalue":{"value":"Applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733376$1E371537-B774-4C62-98FE-CFEDA3C6C735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733376$C4B91AF7-8C0A-4A19-A6FC-8EBB750D4978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7dc9cb8980a3d721ba5fa1d030b7fd93ef18bf3","datavalue":{"value":"concurrency specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733376$5EF09BDB-5FDE-42E2-A1E8-733BB59206D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"060ad3216d45039ca85877db571ec8a5b3fc2335","datavalue":{"value":"linear and branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733376$2E03160B-E443-413B-A087-B64808B596CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48e997c268ad70b6f4b301b43c76519fea82cb9c","datavalue":{"value":"event logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733376$651A3558-F2F4-4976-A065-06763E0E97D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ec68c0dbd1ce9ebd2e2f053bda0ff89784a682","datavalue":{"value":"logic of occurrence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733376$0CCDF7E7-7BF4-4BF0-A01F-61E01867986E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c42c3187d81ec934fd1a13398ef45837e4e0d2f","datavalue":{"value":"temporal logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733376$93FAB503-6D17-45E1-BCDB-4E32FD6822CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e9c9a15808aeec478f9b883bca658e0215165d5","datavalue":{"value":"temporal prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733376$DA53A10C-074F-4444-B1AE-C49541995901","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":"Q4733376$FC1D4B95-D07E-44A7-AE24-A58646797268","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea108dc4d3486b75416193e20af0acb78b75a2d","datavalue":{"value":{"entity-type":"item","numeric-id":6165037,"id":"Q6165037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55605a6501cd283d5b327a6292b33f517686b7cc","datavalue":{"value":{"amount":"+0.9684637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733376$FF01B130-6616-4D7B-848A-3EDD2CCBC4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372b69ab1939ba06752a09e11e53f8645776f9c8","datavalue":{"value":{"entity-type":"item","numeric-id":4017600,"id":"Q4017600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9a8df3857d3d47fac51a7dfcd58cfe4de50d979","datavalue":{"value":{"amount":"+0.9658907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733376$FC6E9F6A-D183-41C1-8EB4-99911AAA5C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2782ca6af719f90715187e70afe4c9afb53ea26","datavalue":{"value":{"entity-type":"item","numeric-id":5217304,"id":"Q5217304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e8f4f850963ea2abb6184747bfc2c7be2fcf2a9","datavalue":{"value":{"amount":"+0.95262384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733376$39B909A6-EB30-4CA0-93BF-E8A9795E6371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67548bb33c036b1ea08167a45930689755f850d3","datavalue":{"value":{"entity-type":"item","numeric-id":2851821,"id":"Q2851821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b58a95bc9fd8799efc482eed6c2a8c44e1b21d","datavalue":{"value":{"amount":"+0.945344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733376$FE1D049E-CA75-46D6-BE89-3923667BF2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ab810bd1a8933f4f5c9739d7972f05526bbac2","datavalue":{"value":{"entity-type":"item","numeric-id":4532196,"id":"Q4532196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4eba75c95d2f8a37393b2635e3ba5e671382a5","datavalue":{"value":{"amount":"+0.94441813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733376$E5607705-0E66-4BE8-B1E6-9B1D4D8684EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ce57215a636957850d360622ebfeb9ccc4ab48","datavalue":{"value":{"entity-type":"item","numeric-id":4733378,"id":"Q4733378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b9495e7baf8faedaff9a55d19c9222a76106c95","datavalue":{"value":{"amount":"+0.9377973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733376$2EBE040B-CF14-48A2-9061-6E4E4A177635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"157640a3dc95f22be3775391d69db1ab13ff75aa","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb0811d7130d8937c9e358f697c7eb52aee99af","datavalue":{"value":{"amount":"+0.9284889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733376$CACB8459-1321-477B-B9A2-73322B63C661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592765424e6503741bb123017c96976915414633","datavalue":{"value":{"entity-type":"item","numeric-id":3812208,"id":"Q3812208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c5f22671302e9a85b22101740e520a5ddb599be","datavalue":{"value":{"amount":"+0.9281967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733376$CCD85D90-B319-47FE-8230-B227E0D743BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cdacd9e7ca0669ca235fd02fb84ce3efaed822","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e76cf85f36aab9d2045369fe9ca65c913bd6ab","datavalue":{"value":{"amount":"+0.9280492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733376$D1EC91A1-966D-48E7-BD57-50DDF86CA4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb7603c4274ba6e2b59c8d21c6e07634f2c3d53b","datavalue":{"value":{"entity-type":"item","numeric-id":3384894,"id":"Q3384894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff1ded39da7cd267f323bd86b8f5e78c650f080","datavalue":{"value":{"amount":"+0.9264889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733376$F5F0B1FC-27A9-436C-B961-6DF247FBF937","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4733376","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4733376"}}}}}