{"entities":{"Q4938420":{"pageid":6968002,"ns":120,"title":"Item:Q4938420","lastrevid":47446186,"modified":"2026-01-01T18:51:47Z","type":"item","id":"Q4938420","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405446"}},"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":"Q4938420$51A11940-B207-41EB-AC43-DCB887DABF76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4341104728592aef2b5701d80ca8fc944f96f8ac","datavalue":{"value":"0938.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938420$CAF41F85-39F4-4D35-B8C9-73A1E43DA7E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9a520aa4cb8e354672e407a59466f103e09b408","datavalue":{"value":{"entity-type":"item","numeric-id":2434520,"id":"Q2434520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938420$814CFA7F-4E16-4DC5-9AB2-1BAD2C95B020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a4b473513180cf93e4a8c86844a2c4dad9ce336","datavalue":{"value":{"entity-type":"item","numeric-id":820130,"id":"Q820130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938420$A092BDAC-1957-404F-A1D3-F30A2FAA1258","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e01016a5aa1fdc00855be84e2d8c96709b2787ec","datavalue":{"value":{"time":"+2000-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938420$BDCEADDD-D784-424E-9DEA-7845506FE6D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938420$FD2A7BDB-7569-4BBC-8A9F-357992F4D9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938420$C3AF789E-80E4-4073-83C0-1C53277BD79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938420$0E84FB10-1A6D-4F85-8EED-FD51BC358EBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a57b791ad822a9d336f2de1f897aeeab0e9a26e9","datavalue":{"value":"1405446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938420$D0CD9FEB-0D57-40FF-B651-D37564761265","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06724a773904c4661c141536901a259bd363379d","datavalue":{"value":"temporal logic of actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938420$9229AD81-73E5-4D25-B4BC-753E3EC93C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938420$111BDA30-3C3E-4E34-89CD-EF32704EC38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938420$DD77FDAE-90FC-471F-A890-F8C579A10F83","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":"Q4938420$C0E7EA49-B57F-431C-BCCE-B1EF23F9DF77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074fc49899c2af0bbba15842ddb799ce0c6efe54","datavalue":{"value":{"entity-type":"item","numeric-id":4885875,"id":"Q4885875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ea52fe96092f69f43b3a9b42f0d2c16a15d0c7","datavalue":{"value":{"amount":"+0.8396268486976624","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":"Q4938420$221EA750-7902-4793-A492-52C073F77BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58d47caa41a11da514de99ed10b7d55ea0610de8","datavalue":{"value":{"entity-type":"item","numeric-id":4934623,"id":"Q4934623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3757b284bf78d9f4095216a3a1365f9f0b2bfe72","datavalue":{"value":{"amount":"+0.7891913056373596","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":"Q4938420$6CA8B6D1-6EAD-46E3-BEE7-B9146E039A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e88955d91680e6d765da8c1b8b08c87afc0248","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3757b284bf78d9f4095216a3a1365f9f0b2bfe72","datavalue":{"value":{"amount":"+0.7891913056373596","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":"Q4938420$1B54352F-BF04-4A54-8867-115B19186C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56c2663181216be8ba0e60dbf3635b9c0d91124","datavalue":{"value":{"entity-type":"item","numeric-id":4494386,"id":"Q4494386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c2f3714bc9696bd93c2ff7dbb46129792903cf","datavalue":{"value":{"amount":"+0.7886629700660706","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":"Q4938420$7BA19F82-6225-43A0-BAD4-BDA3FED9BC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5338f7ed3775f2c4b0a5afeaf8ce6094c68557","datavalue":{"value":{"entity-type":"item","numeric-id":3024875,"id":"Q3024875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b4ab18b321b905a7058cd06d369dd3b3cd9be60","datavalue":{"value":{"amount":"+0.7832236289978027","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":"Q4938420$A6583222-64F3-4B8F-8111-874411315D3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4938420","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4938420"}}}}}