{"entities":{"Q5310200":{"pageid":7339774,"ns":120,"title":"Item:Q5310200","lastrevid":41579323,"modified":"2025-05-06T01:27:43Z","type":"item","id":"Q5310200","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5194318"}},"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":"Q5310200$EF8BC69B-62DD-42F1-8C14-6D95A7B0BF3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"093a71f3f1d91eefee728c2f41e99861ba71acf6","datavalue":{"value":"1126.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310200$CC835E14-3354-4BAE-A212-3470386017C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93bcc46c92320d32acc10288ada535d0a0700679","datavalue":{"value":{"entity-type":"item","numeric-id":939165,"id":"Q939165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310200$27EC93DA-C79B-4481-B088-45167613E4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310200$8A67BB67-2FF0-4EB0-BE44-36DB337AFBE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9234027b4b579663f1b649df3b640a578ef0f29f","datavalue":{"value":{"time":"+2007-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310200$85E6FCA7-1D42-47A7-9746-4EB266CC3D8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310200$067A0AE3-386A-4830-AA84-9D83401AD6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310200$2B73E645-E28B-4BEE-BDEC-7D4EC5345C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310200$E249C6A5-0CEF-44DD-A3CE-BB886290A88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310200$5136822D-B3B7-46C6-B1E0-BC381C5C87A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310200$04F1667E-7B32-4564-9CE7-19F9ED569BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310200$62A130DF-529B-49F9-A705-0160B9D32745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310200$20F0F98E-2AF8-4148-A950-D4162AFC4266","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7d3d3cdc53196625e4f6a693d2698f765695165","datavalue":{"value":"5194318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310200$37409DDD-B570-4E01-BC74-E517C9FAEFEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310200$CCDE0DF7-7147-473C-9AEF-7CC125ECB85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310200$BCDBBF0C-E087-486F-AB0F-C028BF6E97EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310200$37BF81BF-10DD-49E9-9AC5-037AF2A6FAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310200$6AFFADDC-38A3-4972-8734-AA8A77AC78BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01191f9d7f9387164a177c19b32f93873d483518","datavalue":{"value":"decidable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310200$E62B63BA-DB1D-4869-914A-D1C168706473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5d4c78b4580c4eb5646552823e5a0533e1d770b","datavalue":{"value":"axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310200$73531B92-FBF3-466A-A1AF-8564B4698133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67cd9f3c039733629a1bb9742678c127ac2605f7","datavalue":{"value":"equality theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310200$DEBA08DB-8760-4881-B674-7F1603DAAAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310200$1A65A0C1-0A7C-478E-92C4-99E14F5CE1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310200$58BB1664-B6B8-493C-A984-92339D80E903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c2c15a0412d166e361004ef5ff69061e5a41e59","datavalue":{"value":"arithmetic of integers with addition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310200$A930ADE6-1751-4D14-A89B-2FF0FD308AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d559fd4312f4e37f3d26156a1a2168217381dc84","datavalue":{"value":"arithmetic of real numbers with addition and multiplication (elementary algebra)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310200$782A976C-ACF1-4388-966E-6B57899239DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"560d3caa5e0021ee65330c30d3fa70fc217c16db","datavalue":{"value":"arithmetic of rational numbers with addition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310200$F33C5B02-5165-43FE-8C94-7081E98F6D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f305b786b8e413e7aa0216e5a87aecbeeaf140e7","datavalue":{"value":"axiomatic theories for lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310200$6B5FEA9E-396E-47D5-AB6B-B500425A6E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b97b327acd29bc543e319ce1a45374500e4b98f","datavalue":{"value":"mathematical induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310200$1B17AA38-1BBE-42D8-A3BD-650B6D91905E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310200$6ADBE6A2-BA9A-4308-BF3B-C0FDE28CD159","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310200$D4E4D814-F31D-4FEA-9F03-3F325F844001","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":"Q5310200$32698895-AC09-448C-8552-3E421D8E79C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab4749f335d0af7e37202df27bd35f2484492f84","datavalue":{"value":{"entity-type":"item","numeric-id":1627457,"id":"Q1627457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b43dd06a3cd7ed5a23c6b090256e93372ac5db","datavalue":{"value":{"amount":"+0.8586985","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":"Q5310200$CD49836D-6F98-49A9-9A39-4349E83E927C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d30674ab2c85b09fb348faa498d36795b6a309c","datavalue":{"value":{"entity-type":"item","numeric-id":4213380,"id":"Q4213380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba93e00f21ba2693a7ea2b1868b390b7d188568","datavalue":{"value":{"amount":"+0.8567399","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":"Q5310200$BD956A0C-C160-406F-93E0-9BE79EDC5BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c033ebd208a435ababae29a46b63d7a7a5449f","datavalue":{"value":{"entity-type":"item","numeric-id":4884662,"id":"Q4884662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7558b8f25c99772ed4e6873202281ba0d3e89099","datavalue":{"value":{"amount":"+0.84841096","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":"Q5310200$FFE5225F-F8CD-4A97-8914-16CC7AA27C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7267086bffd531da6035d97b629f90f19219044d","datavalue":{"value":{"entity-type":"item","numeric-id":2240968,"id":"Q2240968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fddab6d93c3ac64c095617501bbdfa09c99a76be","datavalue":{"value":{"amount":"+0.8469155","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":"Q5310200$39CBDD3F-8636-4C67-90D3-42C0620ADD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ec974625bd342e7675cc9052949486527beba12","datavalue":{"value":{"entity-type":"item","numeric-id":3083673,"id":"Q3083673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754311697b227ba133e8cc8589d7605d662e8ab2","datavalue":{"value":{"amount":"+0.8436778","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":"Q5310200$098FD794-8117-4B65-89A1-51971F228F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4477e180b771717860b6be03e98fe5bc4fbbeb31","datavalue":{"value":{"entity-type":"item","numeric-id":625290,"id":"Q625290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754311697b227ba133e8cc8589d7605d662e8ab2","datavalue":{"value":{"amount":"+0.8436778","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":"Q5310200$3DB5B780-060C-4303-AC40-CE2470D718FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b55841b26113440e04e3504437d5dc775bf6519","datavalue":{"value":{"entity-type":"item","numeric-id":3432606,"id":"Q3432606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f37da842b9943aeeb43e5c1d1091d2f9c728c3e","datavalue":{"value":{"amount":"+0.842624","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":"Q5310200$65853262-2DF1-4CB8-BAC1-3B0867361F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9811b78e21550e6ed8e5fd6048505344b03a1c3b","datavalue":{"value":{"entity-type":"item","numeric-id":5004947,"id":"Q5004947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176ea56d0628f7201640338d8bf6e8bcb73634be","datavalue":{"value":{"amount":"+0.84222275","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":"Q5310200$77091E3B-21E8-4760-9D81-54137199967A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d7db1cfaf78e5b9f0283584d43192a4da29beee","datavalue":{"value":{"entity-type":"item","numeric-id":4312395,"id":"Q4312395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05c521e135d381d3630643b96b53bcedb8b4e0e","datavalue":{"value":{"amount":"+0.8408713","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":"Q5310200$7D4D1AC0-6AAD-4226-A895-12001786AE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31f5c1ae87af856317c98effcc1abcc9e138885","datavalue":{"value":{"entity-type":"item","numeric-id":5286632,"id":"Q5286632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a49bcc3c6c6f88dfaaea2d0145adf619f8277ec","datavalue":{"value":{"amount":"+0.83943415","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":"Q5310200$DC0D8AF6-ABF7-49EF-B844-DF8D6E8353DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310200","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310200"}}}}}