{"entities":{"Q5257122":{"pageid":7286690,"ns":120,"title":"Item:Q5257122","lastrevid":41079421,"modified":"2025-04-18T04:07:24Z","type":"item","id":"Q5257122","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6452608"}},"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":"Q5257122$CF6CE0FE-F1D0-41ED-8DDD-A9C288E0510A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b7ce63025251cc9ad96a7658a86eec7c0b1965b","datavalue":{"value":"1324.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5257122$9DE06E6F-C9E8-4E01-B5B4-50EB96D350D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f3403fe8086f1192e2b737c84b23ff146f94b11","datavalue":{"value":{"entity-type":"item","numeric-id":366386,"id":"Q366386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257122$5C7AF3DB-7661-4D60-B311-DBE099456D26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8267f1856df5311ac8f067da2122b7880d3f7c0c","datavalue":{"value":{"time":"+2015-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5257122$E3310D97-2EAC-4554-934C-5E8C77F884BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5257122$39D8217E-FAD1-475C-8132-3FDA6D291DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5257122$DE8DD80F-4B49-4860-A902-084F2389B80D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f6767140a9a21a4ce5e99099382a72b6cb5c334","datavalue":{"value":"6452608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5257122$EE23A815-67EF-498E-84F8-D3A658A68C05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5257122$0DDD3440-E06F-4CC8-BBB2-5A832030693B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5257122$3126195F-03C6-49F0-AC6F-D44B9DF03F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"182daf1a5eb7c82594fcb8ed724b52bbee177c8e","datavalue":{"value":"mismatch operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5257122$BF4FD72C-EA55-4D34-8D95-C70AE06653B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6d21861c58f5dfb2a2f017c5e6ba6fc49379ca9","datavalue":{"value":"higher-order \\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5257122$493B2890-C922-4DF5-879C-1C7027E3887C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5257122$FA1D978F-C372-4C53-8728-E2BBC02376EA","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":"Q5257122$75C80A91-267D-43BA-A9ED-F231B3E917B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6562f88f8008717af83fdf918eecfafc8efe613a","datavalue":{"value":"10.13328/J.CNKI.JOS.004523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5257122$03FDC99B-0E54-462D-91BC-5A7871765C2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b99959876c66e570d48291a8898a4c58992bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4536440,"id":"Q4536440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b44b0bbc0d37566a854c5a9df8821126883808ec","datavalue":{"value":{"amount":"+0.9059737","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":"Q5257122$4EBE58FC-A648-41BE-BCA3-606A83100911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea0d8300f32501b0a513ee023b419d344e90e2d","datavalue":{"value":{"entity-type":"item","numeric-id":276479,"id":"Q276479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bcbad2a34217867d7217f9ae1eb3379ba9fdbe4","datavalue":{"value":{"amount":"+0.8635682","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":"Q5257122$A080625D-FD65-4CCE-8F0C-1106D10F5951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a5ab6201c2d1527083e16329d1141f016685f6","datavalue":{"value":{"entity-type":"item","numeric-id":5310635,"id":"Q5310635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98cc508dfe2567fb286eecec1462543cbac5e89a","datavalue":{"value":{"amount":"+0.85769236","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":"Q5257122$9016C7E0-CC4D-4B1C-8502-F0F1DD88A438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34caa272a445218c96ac6e0e068c27aeddc73a84","datavalue":{"value":{"entity-type":"item","numeric-id":5458809,"id":"Q5458809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe2bb54fc1d8890f2b3b1c45889bd1f2ac44f22","datavalue":{"value":{"amount":"+0.8568387","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":"Q5257122$6DB6288F-FE5A-47FB-8549-E494B9E187A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b7d19ec6f7a92f8a7efda509ec2f132df404ab","datavalue":{"value":{"entity-type":"item","numeric-id":4995152,"id":"Q4995152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f080b8620e9cf7ab0c1729b0e9acd791ae4d6ce","datavalue":{"value":{"amount":"+0.85523933","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":"Q5257122$13527A6F-24D6-4869-8E10-D113FDEAB5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614872894ff3feaa35db7566d946b74376376a07","datavalue":{"value":{"entity-type":"item","numeric-id":5899080,"id":"Q5899080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f3e7bb7c66fb5929cead08964a995d1ffdcfc2","datavalue":{"value":{"amount":"+0.85213053","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":"Q5257122$629E6F1C-4E59-4F70-A69A-C94245CF9E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb89accc791434a16b308b1bd728dd09f8527ef6","datavalue":{"value":{"entity-type":"item","numeric-id":442289,"id":"Q442289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f868763ac6cd08cfb7b249c10daa73836c6d4b","datavalue":{"value":{"amount":"+0.8521303","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":"Q5257122$08B3C61E-3694-4CEB-B284-DDA61657A08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494bc894f4c795ac339b6656e4f1a6c375d880c1","datavalue":{"value":{"entity-type":"item","numeric-id":5311258,"id":"Q5311258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d54bb815056fbf80cc2523c32399734a60cc9bee","datavalue":{"value":{"amount":"+0.846345","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":"Q5257122$E329F764-43AD-42F2-80A4-66CB2334F270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636c2d0bcd301d2ec5b9a8631f68ce4b21058f58","datavalue":{"value":{"entity-type":"item","numeric-id":3651244,"id":"Q3651244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62b14a75c4563b3d65f8c4ba95c1ae095481596","datavalue":{"value":{"amount":"+0.84569865","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":"Q5257122$117D4B06-9993-419B-B1E9-A3CC52D188C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5257122","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5257122"}}}}}