{"entities":{"Q4845324":{"pageid":6874904,"ns":120,"title":"Item:Q4845324","lastrevid":41265485,"modified":"2025-04-26T12:09:47Z","type":"item","id":"Q4845324","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 795175"}},"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":"Q4845324$C69995D9-B79B-4828-BDF4-98C030F267A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"998f307200840cc80261786f14123dd4528470fc","datavalue":{"value":"0878.93035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4845324$7123778C-4DA4-4F86-A153-B3DCF80923E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66db70bea35f58ae82dac21d00bca7be39de5465","datavalue":{"value":{"entity-type":"item","numeric-id":1006518,"id":"Q1006518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4845324$DB720C08-BD32-49DE-B617-CA7B3F6AEDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7fb8c2512d013f1969b45f4cedd825ceb58cdd6","datavalue":{"value":{"entity-type":"item","numeric-id":4353646,"id":"Q4353646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4845324$38C4AD08-9603-4580-A6D2-F6DA43AEB7C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58b271ef77cd510a5a83fff0d8422ddfc2624257","datavalue":{"value":{"time":"+1997-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4845324$952BF293-9B77-463D-B743-418CCB9D7E3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4845324$5A1422E9-B874-4C5B-BBC7-F001EBCD218B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4845324$14F0F2A9-9234-4DAA-A771-86E53936CEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4845324$F9D310A3-069A-4251-9A46-F0FE85C2E29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4845324$D9929D5E-3A73-4514-A3F7-96F00AC0AF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4845324$E4AF93C3-7094-41B4-837A-E8CDC311AE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4845324$7A17EE1D-8DA6-4F2B-BA15-3A9AE266CA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4845324$7D09A481-2DE6-4165-B909-3167DBD862BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0281a4dab5b273261759419602451b6638965075","datavalue":{"value":"795175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4845324$F20E1661-B4E8-4C8E-89BB-08D1A2905F16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c3fc6680eff2997283050ab738d4987db7aa52d","datavalue":{"value":"first order logical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4845324$659FA1A0-B3FF-46F0-AAAA-8E36B9511C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4845324$8FA16321-C213-4056-9500-F8D943EE0D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654d82cffaf48aee34c8d66a865b227f1d39e13d","datavalue":{"value":"finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4845324$24A534C5-7CCD-4916-9E42-C7EA1691CFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7920b95f76a56d6580b2d82aebe2239bc5db3fb3","datavalue":{"value":"conditional observer and controller logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4845324$6D138495-8AA6-4096-AE46-0DA0E0EEEAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a974c570ea332a6655b66cb2c8c0b81b126838e8","datavalue":{"value":"Markovian fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4845324$0CBE6C49-9D4B-4F96-BAF9-461716949BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5ae6d8153f0076e6c945b4d400d3321933d66a9","datavalue":{"value":"subtheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4845324$419FC8BD-A840-42EB-89CF-835F947D066D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6356818c96d44f6f54458aa79d29f32d8ecf7e66","datavalue":{"value":"COCOLOG systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4845324$B13D0032-DD29-4EA7-9783-426F5F64687B","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":"Q4845324$18FB2795-EA21-4ACC-959C-007ACA3874BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bcd08728b816c6501f91f73d5b3619670eed4c","datavalue":{"value":{"entity-type":"item","numeric-id":4715974,"id":"Q4715974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6497cecb059ff995d18399790a56139e1fe1351","datavalue":{"value":{"amount":"+0.92176193","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":"Q4845324$C5D63423-68CF-46E4-AFCB-C833302A1261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0527d70c0bc24ecbff404e8e586ce1125e8cd9ea","datavalue":{"value":{"entity-type":"item","numeric-id":5452023,"id":"Q5452023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c86ca45214fd0834e507508991366fb0da49304b","datavalue":{"value":{"amount":"+0.8655451","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":"Q4845324$E6F1A9D7-BCF8-4434-98B2-06639EE35332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f56bf279c6359b7efc2dc7c6762836ff4a4f7052","datavalue":{"value":{"entity-type":"item","numeric-id":3012934,"id":"Q3012934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c76112af8b1a05bdbce007b2b7b11b37dde49471","datavalue":{"value":{"amount":"+0.8603776","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":"Q4845324$C3170E89-0E34-4FBE-A371-0B4B5C78AE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a56501d08098bd78ab986b6337343898767a2ec","datavalue":{"value":{"entity-type":"item","numeric-id":5283049,"id":"Q5283049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1b0e8492bb529d5e46a29211840e91c0b1ac1d","datavalue":{"value":{"amount":"+0.8591888","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":"Q4845324$0A0292A3-199C-4DFD-A68E-BD11D953786F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcd9c045c0fa7f5518012e0eeaec00c1e63b5567","datavalue":{"value":{"entity-type":"item","numeric-id":5167843,"id":"Q5167843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40413b800ce8f278aa02dc513e4cab57c3084fe1","datavalue":{"value":{"amount":"+0.85885096","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":"Q4845324$1F5093C1-7933-4B03-9FFB-91962B865CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763a71dbe6662a51635a2d80aa4804ff878ec275","datavalue":{"value":{"entity-type":"item","numeric-id":1049890,"id":"Q1049890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98409372abee84d55347b3b690fa36cb502cf92","datavalue":{"value":{"amount":"+0.8545749","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":"Q4845324$D0E86C79-5FCF-4ACB-A3F9-AF7F686DAA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec3fd8276e7991c7932b34dc3d97345484be357","datavalue":{"value":{"entity-type":"item","numeric-id":4899119,"id":"Q4899119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54589e27c8be01269087055662dc8671beb49b1d","datavalue":{"value":{"amount":"+0.850134","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":"Q4845324$62A5C874-ACD0-4364-A778-8E3A808CC8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25822fffe742da5ec1a1806dccd41d86c214f97","datavalue":{"value":{"entity-type":"item","numeric-id":3199400,"id":"Q3199400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39c5c5349e7d71a2594ae0140e77b2c12c614707","datavalue":{"value":{"amount":"+0.8444538","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":"Q4845324$484120C6-EC45-416E-A525-BE9802203F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32da014e27af5b8721b1d32334147627c3a21ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5483012,"id":"Q5483012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418f771c9dd016d7426492d8471bac459dd7c348","datavalue":{"value":{"amount":"+0.8444448","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":"Q4845324$E7F7CA75-497B-4829-8BAB-189DE69CF102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dffb7a26bba5a20b70b078a6e814ac43d8037396","datavalue":{"value":{"entity-type":"item","numeric-id":2849951,"id":"Q2849951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f3215bd0a6dc32e932bf98969e03ae621691cf","datavalue":{"value":{"amount":"+0.8429004","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":"Q4845324$450826EF-BDB6-4530-9FA3-BB496E4AB8B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4845324","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4845324"}}}}}