{"entities":{"Q4353632":{"pageid":6383231,"ns":120,"title":"Item:Q4353632","lastrevid":46940034,"modified":"2025-12-25T21:45:15Z","type":"item","id":"Q4353632","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1059325"}},"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":"Q4353632$921CE264-C18F-44E2-8D45-7F1AF352E2E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"439b7e168acaa38b62ee28a6a531371ea1f0a2ed","datavalue":{"value":"0880.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353632$67AE3BFF-EE87-44F0-8FA4-1F48A400AE0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a31faab77501481f5eeb576293dcd59bdbba3a61","datavalue":{"value":{"entity-type":"item","numeric-id":265794,"id":"Q265794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4353632$8DE58793-9968-48E9-902F-534A4CE28379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a56363933ab1b2b882d7fd10c13d60bce6295ff","datavalue":{"value":{"entity-type":"item","numeric-id":418795,"id":"Q418795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4353632$135F1ED1-76E5-4506-83C1-94AC483E759A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb5b0fc95b875540ac51248d37b76d8d5d31061d","datavalue":{"value":{"time":"+1997-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4353632$C448DA7D-9DD7-487D-B601-4FC7543BEB1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353632$D16F8F82-B619-46DB-A112-0C27CF3806C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353632$A47659F5-5B9E-419B-A76C-F6F07AF487CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353632$C2D55B40-C57A-4710-98E9-024099FB13DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353632$53A5955B-2C13-4F03-B37C-C2C9C05BC238","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26fde04a38c1a691622e9a150288d34779f34cba","datavalue":{"value":"1059325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353632$64AE8579-C200-4704-92A2-392F2BEB7D56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353632$E8388335-9AB1-462C-9BDD-9EB42436C574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d611e9c4f91063c6ca694f4a9f4d3844d5c167c","datavalue":{"value":"presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353632$94B7E991-59A6-44BB-AFFF-732B19C0409A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cdcd23245c8696e3ea7b286e9d4a5cee174189","datavalue":{"value":"strong bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353632$A8E3FAFF-BD2E-453D-888E-362E4FC70AB9","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":"Q4353632$12FEDF7F-30CF-423F-942E-F318CCEDCE5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6059c1099b563cddfd6ca8097fa72c6007c5295a","datavalue":{"value":{"entity-type":"item","numeric-id":2914675,"id":"Q2914675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e14d808e89376163d1b6cbbaa1eb871a8ec1848","datavalue":{"value":{"amount":"+0.795768678188324","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":"Q4353632$A8E726D4-4D6F-475A-A017-3B79ECFA846A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"719dfdbbf8f796bf6fd054855c6788f6c38fcef2","datavalue":{"value":{"entity-type":"item","numeric-id":4362910,"id":"Q4362910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ae9f84edaad3e9fcf05b93c899a330f37cab199","datavalue":{"value":{"amount":"+0.7885825634002686","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":"Q4353632$67B38797-21A1-46AA-BF27-BA21F9BF221B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73af00b523026f08ada5f20901dfdb484f108cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922b1bc24a638fa7db008cb3ba2e1fa351389af0","datavalue":{"value":{"amount":"+0.7785279750823975","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":"Q4353632$4C9192F2-60EE-4320-8430-4B765BA4A422","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4353632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4353632"}}}}}