{"entities":{"Q4251979":{"pageid":6281580,"ns":120,"title":"Item:Q4251979","lastrevid":46803324,"modified":"2025-12-25T15:17:15Z","type":"item","id":"Q4251979","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1305046"}},"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":"Q4251979$3A1CEC27-62F8-4897-87F9-F793134D7F2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3bedb328af6159efde43090c359ea81d9ba68d2","datavalue":{"value":"0928.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251979$3FCD8AA6-925C-4777-8812-48C15024A9FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0b0fc1d5deb113cea3041f2adb31b41544b2b05","datavalue":{"value":{"entity-type":"item","numeric-id":4251977,"id":"Q4251977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4251979$B7163879-002E-4CCF-ACBE-6BD5C5BECD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"072dcc719b22365c24ccca472b2b6bcb7ddb1e5c","datavalue":{"value":{"entity-type":"item","numeric-id":4251978,"id":"Q4251978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4251979$9CF30ECC-77C3-4760-938E-B71E563D18E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8158c1a2df676067b0af9f00a404d3aff5c71c35","datavalue":{"value":{"entity-type":"item","numeric-id":1926762,"id":"Q1926762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4251979$1BE469E6-7FDF-46CF-87DE-3E0648709526","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6058975aebcb06f50e61b28c434fa7404d9c6466","datavalue":{"value":{"time":"+1999-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4251979$65CC2D50-A8D4-4E51-9F1A-7384A8103037","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251979$CF64C95D-21F6-4ED8-8F42-CEDD943199D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251979$1AB49F03-BA35-4842-8545-81F5CF7FD864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251979$43D72154-0363-4420-9223-6C26AC0B656B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251979$3577C8C6-5C78-4F02-86FE-1823AC86DA2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4f3c4c4730dc7f8799862d6ed86f598ce0230aa","datavalue":{"value":"1305046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251979$F008B075-6BC5-4F6B-974B-963B99577D02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251979$36C3F887-17B7-45C6-A2DC-377CE2644389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251979$62E14834-D064-44D2-8E11-8A699DAC6DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65b13c97cdada3445e99ee6c06559f6fcb3434bd","datavalue":{"value":"temporal tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251979$683DE705-3B25-4148-B71D-30A38ABDF9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fca9956f8004e4e489538d0a992e9484b559e7e3","datavalue":{"value":"shared memory parallel systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251979$6F8BDA34-2739-430D-B961-EA7BEE5C60C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6624cd6aa809cbeb3aea8d8a5c262cf35436bf48","datavalue":{"value":"parallel processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251979$5BEFEEE5-FCED-4F9E-A8EA-A5E4610065CF","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":"Q4251979$38288B6E-0124-47FF-B148-6AB620D8455A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a9a22b522268131b02ac8f43ec71543d6e9723","datavalue":{"value":{"entity-type":"item","numeric-id":3384170,"id":"Q3384170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bce6fbe74127bdf945d5f767b6f1fd3ace0d658","datavalue":{"value":{"amount":"+0.8626185655593872","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":"Q4251979$12F8B89B-BB0B-43A3-9FCB-89E3D31BE67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6c7f2a7a0b89621ad1c30ba9d3ba87f8d47cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"931e051a617460cda3b17fae2cfb7234a803a53d","datavalue":{"value":{"amount":"+0.8210552930831909","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":"Q4251979$FF5CA293-28ED-489C-9CC5-95186ACB802D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf40a6eb611a651bf861eae9f9561109e61a6d15","datavalue":{"value":{"entity-type":"item","numeric-id":3998525,"id":"Q3998525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c4f9b8e074eb14cc5c5adaaa3e5e8ede911834","datavalue":{"value":{"amount":"+0.8133814930915833","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":"Q4251979$A267BB75-572D-4E23-974B-35CA3F11404A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a0795bb52320f85a84aab63968a83468978487","datavalue":{"value":{"entity-type":"item","numeric-id":5015285,"id":"Q5015285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b194f6ce83ea4f212a56733cbca3db069ff7701f","datavalue":{"value":{"amount":"+0.8086585402488708","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":"Q4251979$04A05472-EB16-4493-9D1A-4EB21B535D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa56897cb01801d4ff9a432f946c6bc247a0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":4636307,"id":"Q4636307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80fb3a768c7fb9e4209f3fa2586d2c5e1ff06f9","datavalue":{"value":{"amount":"+0.8080498576164246","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":"Q4251979$CF0089AE-30A6-46C4-B174-1496736555EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4251979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4251979"}}}}}