{"entities":{"Q3323249":{"pageid":3333957,"ns":120,"title":"Item:Q3323249","lastrevid":48701365,"modified":"2026-01-05T16:04:08Z","type":"item","id":"Q3323249","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3854395"}},"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":"Q3323249$02AB2C29-A3E5-4A75-AF90-F567B1CCBAE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ad6a44131e57966866c97c3cbe14d37bf6d18d1","datavalue":{"value":"0537.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323249$10A3B281-49E1-4232-9CD5-F25937564AE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"299080fcb4d10db6bc9f243afdb0b2f6a4f09785","datavalue":{"value":{"entity-type":"item","numeric-id":246438,"id":"Q246438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3323249$72B5C5BE-ED28-40AD-BDAE-944E0871B8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f1f956a7591bc4e9e816c85c12c82c3cea62066","datavalue":{"value":{"entity-type":"item","numeric-id":238922,"id":"Q238922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3323249$A39457DA-EC5D-4129-B8EE-D36BADE27B12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3323249$65786255-76D7-47F8-9435-A33969FC087B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323249$F3FFDE9E-2ACE-441C-9691-37BD7F0B9F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323249$AE457C81-7FAC-493E-8F41-3A2D77D5ADC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323249$CB4ECD52-8254-4761-ACF4-D9544F46C94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323249$D9D11C35-7610-45E9-B838-0A576CC3F711","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13e8f9b6e0e077ceb4b3de187e04a21a085760ef","datavalue":{"value":"3854395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323249$313381A6-2388-498C-8219-C83C321D9A41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323249$513E7BB2-65C2-4D9D-A9BA-24827D116CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323249$0B65BC93-7F47-4589-876B-ADC3EC0E29F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323249$8E87CA89-3F53-4C6F-BBD4-D43B832F8B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74f79934f251d1a7bef731300ee911b269dd88f5","datavalue":{"value":"relational theory of semantics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323249$FBE970BE-6B02-48F0-A8F8-544EE3E2B4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a15862eb4d8ce10dbb5e6a3891e9e317fc3abe","datavalue":{"value":"operations on programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323249$162CE738-EBFE-4D5B-986F-C0CA41C1A4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ed6a274aad73026c83d15ad56f65963f8c93e7","datavalue":{"value":"sequential composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323249$EBD67331-91F7-4592-9EF5-7174816B4C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a6472b85a634ef0c35b53beb901ae0db6c882bb","datavalue":{"value":"nondeterministic branching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323249$AC0F36FE-D525-4214-BA1F-78E53FA40F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323249$F1F4B482-094A-472D-9953-7B2AB44EFF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37a034e647f80843b21640ec1d9b6824b15e6b5","datavalue":{"value":"relational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323249$D6B12AE3-15B8-403B-9F92-A1B60734F5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323249$8D8BF0C9-1F72-4B91-A2AF-190E86E21E5E","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":"Q3323249$681F7159-F6E1-4EBC-96E5-32BA0CE1B676","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62374f852230d01c88d00426e3c35d5cd2d60c1","datavalue":{"value":{"entity-type":"item","numeric-id":4291023,"id":"Q4291023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ac7dfdc4151145f3c13aec56783f299db005ab","datavalue":{"value":{"amount":"+0.7850202322006226","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":"Q3323249$67944CE9-C7B0-4481-AAA5-402054016B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747da4760684c4ae7c17554623ac1f638033033d","datavalue":{"value":{"entity-type":"item","numeric-id":671651,"id":"Q671651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ac7dfdc4151145f3c13aec56783f299db005ab","datavalue":{"value":{"amount":"+0.7850202322006226","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":"Q3323249$226714F7-2B2D-460A-89F0-BE36AC0FE3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12ae9b79fd8f47daaf661945c04e5a8c4c144e1","datavalue":{"value":{"entity-type":"item","numeric-id":4011708,"id":"Q4011708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89808cb148d0974deaa32e75f75490b36f5e2a03","datavalue":{"value":{"amount":"+0.7631791830062866","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":"Q3323249$8B4EF45B-C19F-4A1B-A488-863CFC04C374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2634e53a10156fa2b95632827a647b59604c0cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4636558,"id":"Q4636558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89808cb148d0974deaa32e75f75490b36f5e2a03","datavalue":{"value":{"amount":"+0.7631791830062866","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":"Q3323249$4D9FB158-03EE-4FB2-9C68-CAF8C817D847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63788981b7c866a3f5b42652f1cd9ec7cab3bcd8","datavalue":{"value":{"entity-type":"item","numeric-id":3204444,"id":"Q3204444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60db71508a8c63f795c141a4c96914e6f7c6ccb8","datavalue":{"value":{"amount":"+0.754646897315979","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":"Q3323249$519D3170-8009-42B2-9C18-BE6B5A7AAC76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3323249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3323249"}}}}}