{"entities":{"Q4362879":{"pageid":6392478,"ns":120,"title":"Item:Q4362879","lastrevid":46489269,"modified":"2025-12-24T21:52:36Z","type":"item","id":"Q4362879","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1086630"}},"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":"Q4362879$29BC91A4-66DA-4C43-ACF2-C931244AEDF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cda6dbe2c3ba7e61077a76f0aa29f87267f4ab0f","datavalue":{"value":"0883.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362879$9CF1291E-07F1-42D3-B07C-848EE86DFA25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e40dc939479b90174d2136e7ecc4aabaed850df3","datavalue":{"value":{"entity-type":"item","numeric-id":4362878,"id":"Q4362878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362879$EF48D3C8-63C8-44CC-B113-BDC6920563ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1335099d9672ef506b169e85b3224e460a539db5","datavalue":{"value":{"entity-type":"item","numeric-id":2077758,"id":"Q2077758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362879$3EF8914C-E4D3-44C2-925C-74D6C11E67D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a25635c340656bd7c7bb911f1494199e5379f0c","datavalue":{"value":{"time":"+1997-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4362879$560A1764-EF04-4E85-9EF2-808F9E382A90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362879$B08B83D7-F72F-4990-B0A7-0A9B76785002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362879$DED2DA86-F1C5-48FC-B652-A6FCE552C2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362879$09E29CCD-1C41-43B3-A870-41F25727C543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362879$65605AD9-9CB8-4071-BC09-5D875C7F2F7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8666b32369f12e5a3d319a5e101a4809f0ad21b","datavalue":{"value":"1086630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362879$13937F4A-CFD5-4A25-B2CB-FD4D46B6B35A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"679f1e8b4203d9fb6e8d1f3aba14d486f4d43fed","datavalue":{"value":"verification of reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362879$A2E88211-BBA8-4066-AD63-E361BD8C8D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55595a75a886073016a2e321b88801893c34dc44","datavalue":{"value":"syntactical translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362879$87FA8E73-6510-43F2-A164-D4EC0441C09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362879$883518CD-5B73-4E3D-A189-55020CEDA855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362879$4F7E2BDA-3645-4293-B44C-A5407E67291D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362879$89B3624A-779B-4B40-A668-1AA5C2587191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362879$71F7474C-6CB9-4474-9730-43F6B4A9773D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362879$DB0B0DBD-C0CE-4654-A3C9-E4659F125249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a5a4c4d3bc442565851349ed3ac8b7bb8ef410c","datavalue":{"value":"modal completeness and incompleteness results","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362879$CF5CC030-F31E-430C-A001-5766024511AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8953c8edfb4d4250ea02c1f7b66f0a73d0d083d0","datavalue":{"value":"relational language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362879$26F5261A-3BC9-45F5-B481-24CCE594DDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362879$CC5B9D06-56FC-43FE-9E53-A0A3686C1E0C","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":"Q4362879$757D4B07-F5B3-44CF-9E43-A300120F3F96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b28d66123f0140fbe45de70cf71d5fe67b05468","datavalue":{"value":{"entity-type":"item","numeric-id":4011727,"id":"Q4011727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b9aa6b78b4fc79c826dc1222883cac75b21d43","datavalue":{"value":{"amount":"+0.8346799612045288","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":"Q4362879$B15D7C7C-1B04-4673-A62B-00D65006A7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e0b7151f8efab8581dcd1755857bf811653322","datavalue":{"value":{"entity-type":"item","numeric-id":3795651,"id":"Q3795651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05d2702fbcb187a36da6239a5c07a8bf26ed050f","datavalue":{"value":{"amount":"+0.8204683065414429","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":"Q4362879$59CE6775-F832-4CC9-BA1B-9695002FA276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af91b9b2afe043dfb4abf7d85dc66b028648be1","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2e423c0204d15f5279ea18bc8c4ca34019fb69","datavalue":{"value":{"amount":"+0.7673057913780212","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":"Q4362879$D0C48F49-DB40-4A3B-A1B5-442B8CBAAE8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4362879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4362879"}}}}}