{"entities":{"Q4036587":{"pageid":6066305,"ns":120,"title":"Item:Q4036587","lastrevid":55241233,"modified":"2026-02-05T05:35:10Z","type":"item","id":"Q4036587","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176757"}},"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":"Q4036587$CEC9B983-F9C5-4562-963C-AC7A4D91F607","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17e902fe65d1fe3befaab457f3b723d8f76a7357","datavalue":{"value":"0796.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036587$C33ABBB1-5186-4EDE-B8EF-5BB8B0842267","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bfdc48a476a11696af46ca3d91472b4be06847c","datavalue":{"value":{"entity-type":"item","numeric-id":1177922,"id":"Q1177922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036587$45753769-77CF-4BFB-8EE2-9FD35B5DEE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036587$22A2E40D-F7B9-4860-8091-1161053D40BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4036587$A60E2355-FE8F-40C8-8117-836BCFE19B6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036587$9E036F92-A13B-41F1-9A82-848D0444C4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036587$DFAEF894-BCC3-4EA3-A4E5-C80EBA9C695F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036587$9BE1C7B1-A263-4482-BE94-762DC389B8D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84be84f251b56cace3bad18d08b25619ff4f8166","datavalue":{"value":"176757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036587$06A31CDF-C36B-449E-9931-8C1BC0D154C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036587$4997A0D2-4098-4358-A718-C7D634C6F858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d66bf2a1b1e1bbbf069d7f47610759328f5c326","datavalue":{"value":"transition system specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036587$01E5BF88-F910-4154-93EB-8159739D1B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a797f12ec2d611e4095c46253086b1b4ac2a19e","datavalue":{"value":"basic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036587$63534F46-8930-49F3-B890-D02E03A2B531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8ed11322fd4eb4e5dac6225d5b3ecbe7b064625","datavalue":{"value":"negative premises","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036587$5ABCA390-317D-4618-81F1-829AE670C138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7d55f58e4831d77db7a5c91bd18c574bc0f4b78","datavalue":{"value":"transition relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036587$9F00A6B0-794C-4B2A-BE22-513E26E4EE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036587$D915F051-FFB9-451B-A8E0-441D78CA6E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036587$395319CD-F6C3-4B45-8B32-F72D1AEB228D","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":"Q4036587$F5A61FAC-7C68-4473-BDFB-1D19E4142EF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a79cfd5ce6f676936d2f408b6bfcf12ed96b367","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q4036587$0BC7A290-1CD9-4103-A879-26BF2E8565EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6adc8b9747e62a64cce16a04092089c9f58134","datavalue":{"value":{"entity-type":"item","numeric-id":1878713,"id":"Q1878713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332c7eb74715cc643ee24b7b9fd67b32d9934e14","datavalue":{"value":{"amount":"+0.9825406","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":"Q4036587$BBC13FB5-F7AE-489E-9775-F6325829299D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa51d4bbce1467f559aded066b604455f663f137","datavalue":{"value":{"entity-type":"item","numeric-id":4818861,"id":"Q4818861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7db1353d0143aec7a408082c77dbae1e789105","datavalue":{"value":{"amount":"+0.96914923","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":"Q4036587$FA03942E-71F0-4C42-8EDD-C491C2E489ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e254d3dc28128dd2a1604d4dfe58be0130aa8d","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec37597cc5c81df67ef568332f73a278a063df1c","datavalue":{"value":{"amount":"+0.9555304","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":"Q4036587$DC60E1EF-FC3C-4BF9-A849-DD038BB8F604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efffbe588a0ff38ae921504ea9bd98b792418bf","datavalue":{"value":{"entity-type":"item","numeric-id":2842096,"id":"Q2842096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8ae4c5b4bd96ee0db6980dc4fa1361d12d6b716","datavalue":{"value":{"amount":"+0.8807045","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":"Q4036587$8C8841C8-D9D0-4F21-BE48-27355FBF9A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"142eeebcba941ec7904227a6e0d4159dc110e9a0","datavalue":{"value":{"entity-type":"item","numeric-id":3385651,"id":"Q3385651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549621a732173c79dc610b74dedefa456ce85941","datavalue":{"value":{"amount":"+0.8549178","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":"Q4036587$1C8E4E35-6EA7-49A1-9F56-98CAEA673E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dca9b05ed1988ee87deb32aaf767643cec451a63","datavalue":{"value":{"entity-type":"item","numeric-id":4986263,"id":"Q4986263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0b0a930820e0e5d69cb2f5ad962ced63925f87","datavalue":{"value":{"amount":"+0.8139522","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":"Q4036587$91022591-B453-4089-9F96-635770DFA28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb30fdbef74cfdd40dbb05d194a68fad456055e","datavalue":{"value":{"entity-type":"item","numeric-id":1682296,"id":"Q1682296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81982e880114001bf7d6cbe97a93ce0b1bd056e4","datavalue":{"value":{"amount":"+0.80872613","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":"Q4036587$C3C360DF-3A13-49F9-BE6E-B5BC08326830","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4036587","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4036587"}}}}}