{"entities":{"Q5287508":{"pageid":7317082,"ns":120,"title":"Item:Q5287508","lastrevid":46349652,"modified":"2025-12-24T15:06:32Z","type":"item","id":"Q5287508","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 233974"}},"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":"Q5287508$C53FB157-E11A-406D-93F2-410313362596","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae9dab7f6522eb4034db81a9fd597743ff04d642","datavalue":{"value":"0773.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287508$69C8F88A-55EA-4E2C-8879-E0B11000E989","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60a6cc2906ab33f788af6d51cf03c39f0d4046ba","datavalue":{"value":{"time":"+1993-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5287508$77E9B1D5-C95E-4961-880B-5A13503F039B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287508$90E13BA1-1692-4CEB-B9D1-BCF17E3261E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287508$C71D1C4A-072A-45F3-9224-DBC8768BC8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287508$9EF8E54C-F959-46D6-84CE-3EA365218E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287508$26B0E451-4B2C-4108-8C4E-A3A0F23CCB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287508$516CE2A5-8118-48F2-9337-CCE260CD9B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287508$6AE02199-475C-4F5F-902B-56E6516DF000","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6ad057ca942da868f7f600bf7e04f923027156d","datavalue":{"value":"233974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287508$FC643A41-11E7-4650-B6E0-6FADE9440E53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef59cf3cfbb098d7dcb0658ec5b0e9792544e4a8","datavalue":{"value":"equational logic of fixed point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287508$92024023-4DF5-44D7-BBA5-0282252014E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0792dc5290521667c60c64232d8fd4b5bcda3444","datavalue":{"value":"categorical logic of programming structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287508$04E38729-2CC2-4EF0-84CB-CF6147D6259F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5462a82f0f61dfbabca184b1fa34e8f3327e3bb7","datavalue":{"value":"fixed points of endofunctors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287508$06A7558E-D7E0-4EF6-A460-2A56F49600FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8778c1b27a823e27890fef077ae9c48d377f0562","datavalue":{"value":"synchronization trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287508$C4BE92C9-75FF-4E32-A364-D6B45EF0FE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f082d23ececda4495232af64202f592a5942f2","datavalue":{"value":"Floyd-Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287508$C4572FEF-FAB5-4929-8CE2-A2F479DCDF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6d993d2e32cf067a8856e6b1dc296a87b9ab10","datavalue":{"value":"flowchart behaviors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287508$0F7845C8-29BB-4703-9238-2E790A726B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7656e9fd025828a6267e725707cc84232244e881","datavalue":{"value":"iteration theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287508$550DFB4A-A366-406E-90B1-51AD3EC0331A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"257c5617dd04bf05fd3acdfbc253c96705aaf4e0","datavalue":{"value":"2- categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287508$DF9AC5D3-7192-4ADF-98C9-DBA943916977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9f2323d8f2d5d84fedca2547e963075091b9f30","datavalue":{"value":"iteration algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287508$A2B3761A-4DFC-4C29-91F3-0785E1778E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e655808a2308947a51a3a035a750fe2b4074080c","datavalue":{"value":"continuous theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287508$27C60FEE-82AF-4951-8C76-694098B1C0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75d11b41aaaceba03c445a4796df396b9e28bea","datavalue":{"value":"parallelism semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287508$58A9C6A0-B193-4043-9E37-DA968C0F929B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93f8258f1af5457f41081bb6fefd648dd035abd0","datavalue":{"value":"partial correctness logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287508$D18F6D69-DF87-44D7-9516-8C759BDA5DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29e4ffb6b4a7dcd967f8ab01922bd87fa70c13d","datavalue":{"value":"flowchart programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287508$1D4B67D1-BE5A-4655-BB24-24D62B5770D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8a37106204b8df07e822047b49d4ca05495cf2","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287508$7AFD41A2-1B58-4E8E-972D-DD774ADA8DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287508$12E07107-8884-4B4D-967E-EDBEA06E3995","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":"Q5287508$F24A0CD9-C6DC-44B5-8A26-C066E6733C37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f63746e5850251f15895441a1e8cda2487f4eb98","datavalue":{"value":{"entity-type":"item","numeric-id":5890058,"id":"Q5890058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659eaa2d25fd5a92c70d78f3cdb08e09a88d9305","datavalue":{"value":{"amount":"+0.8408278226852417","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":"Q5287508$0548FE22-4F1B-471D-8911-07610CE9CBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2e02b0b6be2d3c613c62a6703be419dec4369d9","datavalue":{"value":{"entity-type":"item","numeric-id":5286027,"id":"Q5286027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd48abd39723305296b0549ab08f88b2ca3dc1bd","datavalue":{"value":{"amount":"+0.8391832709312439","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":"Q5287508$7568B918-4052-4D5E-BD33-802391A5AECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2429fa5afa53ffb1e6e91cb34b72ba456ec1bc76","datavalue":{"value":{"entity-type":"item","numeric-id":3525573,"id":"Q3525573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f146a18fea1d19966fa2df70c978c7a6b17c14","datavalue":{"value":{"amount":"+0.8370673656463623","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":"Q5287508$B84FE410-3175-410D-ABFF-CE0F5C92D76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bfb329c9da094d33335b71c94ab4533f7e87b78","datavalue":{"value":{"entity-type":"item","numeric-id":1391734,"id":"Q1391734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"588ca1c7903bc4bdd25b75be77bdc563e2542041","datavalue":{"value":{"amount":"+0.8220428824424744","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":"Q5287508$BDACB652-1B4D-4A45-A2FB-01A15CB9067D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5287508","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5287508"}}}}}