{"entities":{"Q4499196":{"pageid":6528789,"ns":120,"title":"Item:Q4499196","lastrevid":47032173,"modified":"2025-12-26T02:23:01Z","type":"item","id":"Q4499196","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1497779"}},"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":"Q4499196$EBF43A6D-D3E7-4AC2-B153-8CCCAF164E2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5aae6942e6c99eb1ef7a5185ef9dbac844758dcf","datavalue":{"value":"0958.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499196$856F10F1-B202-4F79-B4B5-4657F596B9D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f7ebf08f82ce515e0740dc978f18c660e5f4735","datavalue":{"value":{"entity-type":"item","numeric-id":232933,"id":"Q232933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499196$CC2E8612-F87C-44BE-97A7-A1B9904E3AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c97afdcd0bbec358b5a4925d1ce00610554ac1b9","datavalue":{"value":{"entity-type":"item","numeric-id":4499195,"id":"Q4499195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499196$0A7A48E5-4331-4B9D-92C1-753388545656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499196$48104932-21E2-4CB8-A4CB-56D17F009247","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23c16558fb5ec76a4747f3b1ffd9e3605d5b08f1","datavalue":{"value":{"time":"+2001-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4499196$90175659-F447-475D-9DCD-40896DF817BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499196$AB34B930-1656-43C9-8DFA-31707F38EB58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46cd2dd9570f3a606e78f8e0b82641dfcfaba6bd","datavalue":{"value":"1497779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499196$6E2816CE-4D7B-4824-A317-8D7C119BED39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee74b59fdff0d4220f2869225ecdb777f4c2000d","datavalue":{"value":"first-order proof techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499196$3F6C011C-2A65-4523-903B-D8EE611B48B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26e40233afd4af678128085a70b4daf737ffb48","datavalue":{"value":"CPS transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499196$2FDA4EE3-87BA-4460-BF24-6065247A45D8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499196$40886468-E0FE-47C9-9739-4C22DE82065D","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":"Q4499196$6B8F37AC-3E7D-4645-A6F5-10CC0E0B390E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a2709d2ddc8a509e7e9092c35acd923f758999","datavalue":{"value":{"entity-type":"item","numeric-id":1884883,"id":"Q1884883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abbeebb6bf34c6f59fa7dbc24241ab2ae4797e53","datavalue":{"value":{"amount":"+0.8549429178237915","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":"Q4499196$C1B7E78A-4D12-4AF9-A013-0893F2B430F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d467927f802ba42359a274d3eef4333d8d109f","datavalue":{"value":{"entity-type":"item","numeric-id":4738220,"id":"Q4738220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e5266d56e7d5825e75761acc3bd6cf03ff2f064","datavalue":{"value":{"amount":"+0.854408323764801","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":"Q4499196$B4589F28-36FA-47BB-8164-2D2ADD57B9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7920e007c1c0dce93cacc25b43ae82bd41f339ea","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da8e6a2fea3df4dec556b3c665d4d413b6ac2e55","datavalue":{"value":{"amount":"+0.8012487292289734","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":"Q4499196$23B1094B-7D19-40B2-ADDA-C1C8EE0CF52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d0e82c95a49cbb2de34505837a52b06b794b37","datavalue":{"value":{"entity-type":"item","numeric-id":5428374,"id":"Q5428374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4c1d2f859cc8d259ddbf34bcb86573b0d939ff","datavalue":{"value":{"amount":"+0.799875795841217","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":"Q4499196$2C2B3F4A-9092-4B6D-8869-8FCA36E592B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4499196","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4499196"}}}}}