{"entities":{"Q3971273":{"pageid":6001174,"ns":120,"title":"Item:Q3971273","lastrevid":42218650,"modified":"2025-06-02T12:22:52Z","type":"item","id":"Q3971273","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8784"}},"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":"Q3971273$001F592A-45A1-4ADC-AB81-D74C6975B2A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffd809f54554f882df048c67db6ba52f391dae22","datavalue":{"value":"0757.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3971273$3B315850-CB90-416C-869D-B411F69F704F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f57513323968ca26e56b4b69abf740db639ef2cc","datavalue":{"value":{"entity-type":"item","numeric-id":1186550,"id":"Q1186550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3971273$A765B17F-AEA1-47EC-9B24-829151A1F0DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3971273$BE551FF7-15A2-4024-BF81-CCBD825AC435","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3971273$990B5E83-201B-405E-AADB-B46F187A12DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9daef377d980b30088c873bee5068ace05181727","datavalue":{"value":"8784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3971273$0E8EA10D-7954-483A-9602-254E2CEFEC76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3971273$931B99AD-7DFE-4594-BB2D-009483EBF73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"950fb484430e30953ba625865ae902b9731df12a","datavalue":{"value":"flip-flop","type":"string"},"datatype":"string"},"type":"statement","id":"Q3971273$C716834B-64B5-408B-9DA2-03DBC03D65C7","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":"Q3971273$2F9CBB84-A9A5-45DF-BDCA-7E4AB1B1B7CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d51c5415f5cc6dd0804ccdacf176a148df37dec","datavalue":{"value":{"entity-type":"item","numeric-id":3783508,"id":"Q3783508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00157842f4665f5c65aa9d984c6baf63faf4691f","datavalue":{"value":{"amount":"+0.88004243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3971273$BAB3042B-865E-4760-8130-E6CA39E48EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc10c3dea4be063d7212c1347a7e78e67b16d8c3","datavalue":{"value":{"entity-type":"item","numeric-id":3723689,"id":"Q3723689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599a4e0c6256f8f3c013f93e5a4331ac1827ecc7","datavalue":{"value":{"amount":"+0.87912714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3971273$6A7C6E42-123B-4683-AEB9-4472358151DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1a0626fef48a0fe0955dd4d1bfff167635e9099","datavalue":{"value":{"entity-type":"item","numeric-id":1091121,"id":"Q1091121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba370eb148cf040a7a488cfdeb18a9906db8861","datavalue":{"value":{"amount":"+0.87649035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3971273$1E50BEC1-3B58-4C92-B857-F22014FA9A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ee3c3a23d51f4b4342339ba02f16c06b7d06df","datavalue":{"value":{"entity-type":"item","numeric-id":1346768,"id":"Q1346768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be37c0c9d417540df5128341d073691261131536","datavalue":{"value":{"amount":"+0.85991824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3971273$2007F578-9FCA-4943-8F23-387C7F23FA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18c668096d9facccd6e10cbdc9bca2f01b529073","datavalue":{"value":{"entity-type":"item","numeric-id":2680222,"id":"Q2680222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18f6979dad7250c8bd74ad9b3b90d1c7d68b0d2","datavalue":{"value":{"amount":"+0.856055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3971273$FDF15F02-85C9-449F-B369-5755FF011F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"398711522042dba6de46cea4a83cc6ac2bfb4f55","datavalue":{"value":{"entity-type":"item","numeric-id":3082578,"id":"Q3082578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38bc5972e8134ebb96d85053d711018af4e3453a","datavalue":{"value":{"amount":"+0.85575885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3971273$90E1F715-1133-4F81-9962-DE1F40817AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5bbbbfdaa289780545d529cd2d253d7b9c3a01d","datavalue":{"value":{"entity-type":"item","numeric-id":3763567,"id":"Q3763567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a17799cecea4887a166e8972a61ff4bdb16657","datavalue":{"value":{"amount":"+0.8492408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3971273$876F816A-A1A7-4AB1-950A-41A950708DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f15a969edcde383ebc53e586e6a46c0c74c11e","datavalue":{"value":{"entity-type":"item","numeric-id":5941135,"id":"Q5941135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11d36c83331b549720b60094a21098bddb5800fd","datavalue":{"value":{"amount":"+0.8443608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3971273$BC9DFCF7-D547-47A8-8ED3-8EB101E69087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562b5656e73f5f11222fc9370e8e9e477bd43101","datavalue":{"value":{"entity-type":"item","numeric-id":579590,"id":"Q579590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e69cad67f2e41ac29de9737a973413e88456fcc1","datavalue":{"value":{"amount":"+0.8433723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3971273$BEDB0F56-3455-4DA2-A27A-8B1697605F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e391b0aa8c6dfe5663003fdb3f9604dbe9836802","datavalue":{"value":{"entity-type":"item","numeric-id":3842954,"id":"Q3842954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab62c1b0a0bc6ad0b6c0d23d11011c0c98e04139","datavalue":{"value":{"amount":"+0.8396859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3971273$8B087D04-7AD6-40A5-804F-36F1EDD0FD28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3971273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3971273"}}}}}