{"entities":{"Q4007002":{"pageid":6036816,"ns":120,"title":"Item:Q4007002","lastrevid":55156606,"modified":"2026-02-04T05:38:08Z","type":"item","id":"Q4007002","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 58733"}},"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":"Q4007002$248D4E81-7C0C-4C93-AA12-37A7919896E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91a1071ee2915af390cf5fae0416c9968e4d0306","datavalue":{"value":"0754.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007002$151F3785-B9EF-4F11-BA09-82298E59D516","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50ba865477388faabaed9e7f568a4d789da71b04","datavalue":{"value":{"entity-type":"item","numeric-id":1047996,"id":"Q1047996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007002$1E1E6755-191F-4F8F-8C8C-25978BE8A735","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4007002$745C7AE8-9ECA-46FD-A297-A8E3A3397DB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007002$8D491DE4-3A63-40C2-8C07-FC38C2660EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007002$42F97936-8D5C-4FD4-A59A-5A55EF8A8199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007002$B88C6AF1-6A8C-44AC-86D6-E3F55296A893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007002$EAD4A9D5-9A47-4263-90D4-29A0EE1E9D69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe5414b0f46b4ce3eb64081149eb6c0d024a02e3","datavalue":{"value":"58733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007002$40C9EE43-E1B8-48D6-AC40-D646A206D36F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a9fb7f70cc8a04dc3a690c7d93109aa1346eb5","datavalue":{"value":"hereditary extension of many-sorted first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007002$7066D348-DCB7-4685-B328-214E57B9D68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1ab62051051603110a28eb61b358f3b773cba8","datavalue":{"value":"mathematical specification language MSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007002$23E89492-B40B-4219-AE17-5C39CADDE202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007002$94552AA2-2D62-479E-95CD-3B049134FB8A","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":"Q4007002$5D488739-F2A2-45E0-A626-38477184E441","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8469e6d264b663e0f51f5d30ad8edc2a7ed2c8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1816347,"id":"Q1816347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083d76f644c33d58c9f07ca6666d701fc1fa2465","datavalue":{"value":{"amount":"+0.95959294","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":"Q4007002$1146D8CD-0EAD-4725-9818-C1E71192E247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7da573bb2fe73b2a35b388b2a57bb39b406f9d0","datavalue":{"value":{"entity-type":"item","numeric-id":2829273,"id":"Q2829273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f4e0d57715871f3e7bce2ed90d2dfd46816afbb","datavalue":{"value":{"amount":"+0.87848985","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":"Q4007002$06159651-4F56-429B-8CCE-6020784D71FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a7e2d9b1ea83010661af95e8368981ba112dc5d","datavalue":{"value":{"entity-type":"item","numeric-id":5087882,"id":"Q5087882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"862c7e6d0d6c6ad795eacbccc3188b39abc690ee","datavalue":{"value":{"amount":"+0.8769278","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":"Q4007002$471D25C8-7BB5-4CA3-8E69-75D32453A00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9922efcd74b5e29f1021efa1deefd4aa6fd5fb1b","datavalue":{"value":{"entity-type":"item","numeric-id":4323040,"id":"Q4323040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a881c31115246086efc98391df1ffd644635dcd4","datavalue":{"value":{"amount":"+0.8696749","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":"Q4007002$AF66FEB1-A19B-493B-94F1-A8A7B837943D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1590cb2f945e0790eb55518f24bdc6b90528e256","datavalue":{"value":{"entity-type":"item","numeric-id":1239153,"id":"Q1239153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc4c8b77438b6bd987a6258776257097ab1bb2eb","datavalue":{"value":{"amount":"+0.8681348","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":"Q4007002$83C71F36-B0A5-41AD-8058-6F5423E5BB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf167b6f10052c66b9de91e9ceffb19f78db858","datavalue":{"value":{"entity-type":"item","numeric-id":4677695,"id":"Q4677695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e5028194505ac2b06eea7f89b80029766ec95f0","datavalue":{"value":{"amount":"+0.86067533","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":"Q4007002$8911A488-4652-49E3-B271-1F8D885D744C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66267b116e4fcb9fd4df62982c13e8d374e2d413","datavalue":{"value":{"entity-type":"item","numeric-id":2455086,"id":"Q2455086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5d85ecc349f62bba9b5c56d96c2fbd73039579","datavalue":{"value":{"amount":"+0.8588947","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":"Q4007002$1D0437AB-1AD3-4A88-9574-336ECA25FA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb4066375bf29cf9fb06d24e25ad4a4a5c597e5","datavalue":{"value":{"entity-type":"item","numeric-id":4297711,"id":"Q4297711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9dcc1bfdf2651898f300b01a4f4d384e2a5660","datavalue":{"value":{"amount":"+0.85849774","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":"Q4007002$C6AB3B7C-7270-40BB-B18B-434B93115FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eabac73dc1d17c7ca42387c6476356dd0dabf509","datavalue":{"value":{"entity-type":"item","numeric-id":5528633,"id":"Q5528633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c00966927c702fc76bbda7f1640b9ca1337853","datavalue":{"value":{"amount":"+0.8584582","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":"Q4007002$9F3B032B-2317-48F9-B1A6-206A5FA1754A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26fe44ea0dbc32573517268eaf74298c906fc715","datavalue":{"value":{"entity-type":"item","numeric-id":948912,"id":"Q948912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"065b2ca781f475f67d58181fa41143656f445776","datavalue":{"value":{"amount":"+0.8547151","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":"Q4007002$CDA0C6C1-54D6-4E22-8DDD-588AC6933291","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4007002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4007002"}}}}}