{"entities":{"Q3332238":{"pageid":3342946,"ns":120,"title":"Item:Q3332238","lastrevid":45991702,"modified":"2025-12-21T10:26:09Z","type":"item","id":"Q3332238","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3864486"}},"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":"Q3332238$ACB4EFFB-B228-4775-B0CB-DB2BF1F13CA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"decfe523a438533fe1ac8fd70aa6635da7e3e434","datavalue":{"value":"0543.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3332238$F47800A4-28C7-4274-9C15-76720CFB7BEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3332238$7C756E30-D92E-497B-AB80-9CB8828A37AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bf8e0a1d6097cb2f9e59b0a8db1af8f459f9de5","datavalue":{"value":{"entity-type":"item","numeric-id":1183596,"id":"Q1183596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3332238$8904D70B-1812-4E83-BDCF-9667CF1C893E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3332238$553CAB56-337B-4A54-B0FB-DCECE31E2CC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3332238$D147A91D-C89E-46AD-B94F-095AED947949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3332238$F530CB52-F269-4CC3-969A-B199385A1B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3332238$B5AEEC13-24C7-4D0C-AB77-AE52CC041E18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34e0e1d71312a55c86eadc0f16560c50bb9af4a6","datavalue":{"value":"3864486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3332238$DA4E1539-ECA6-4CF4-9241-90A68CAEB369","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d0d50189fb562686511908481462c9a90689c0","datavalue":{"value":"logical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332238$CCD1AB17-9FB1-4999-B66C-91FD7EF50B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e02ac2fdcfcae6ede1dce8b210f5ee684c4dc9","datavalue":{"value":"institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332238$ECF77F1B-F5D8-4F2F-8CAD-97A55612BFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332238$05DE79DD-5254-432C-B926-110912FB4D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a924de74a57747b8e5d880a67f3628a90c03f62","datavalue":{"value":"interface declarations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332238$45F222EF-7DE8-4A56-9B65-BEABAFD93F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8492dbb4e5e2234fa823648540d58bdb8881419","datavalue":{"value":"theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332238$78FCA644-D582-424C-8D06-5688B2D6919A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332238$0C4CB799-DD87-4801-A8D4-6B13BD03B6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82580506876beea7c37364c41ce320dd3741bc2e","datavalue":{"value":"free constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332238$BCE4D796-998B-43E6-A94D-8D763DBF4465","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":"Q3332238$6DB97E5E-6958-41D5-9448-9D432800AF9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a12c9170b45e14d92274e3174fe27d89d0717eea","datavalue":{"value":{"entity-type":"item","numeric-id":5416166,"id":"Q5416166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","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":"Q3332238$71068692-0CEA-4740-A40C-8478D8A4061D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415711b1c09bf2c5ec2ec1158544de3686ef1fc8","datavalue":{"value":{"entity-type":"item","numeric-id":719243,"id":"Q719243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf983c1192871f8d9e72f2e9b0c33045852443f6","datavalue":{"value":{"amount":"+0.78433174","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":"Q3332238$CE4766C3-EDF3-47CE-8980-79F2BB1078C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa3931585f5d957b12384a888acd03b945a0ecab","datavalue":{"value":{"entity-type":"item","numeric-id":3596127,"id":"Q3596127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e935591bf5e158e895c7e0325450de3761bcc8","datavalue":{"value":{"amount":"+0.76971054","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":"Q3332238$EE364F57-5BE4-4F45-9A61-035242981B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bdbce49fede6dce6817588def543800bf84602e","datavalue":{"value":{"entity-type":"item","numeric-id":699929,"id":"Q699929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e47f4936a0ee51554af26dc6c6c14cf8ef57ba","datavalue":{"value":{"amount":"+0.76389456","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":"Q3332238$8DDDE636-E155-4556-BB9E-3F71E9CD89DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ef2bf267a9de0a9d79cd7f29fee10b4f976f90","datavalue":{"value":{"entity-type":"item","numeric-id":5901921,"id":"Q5901921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0701605c6f09bef18a11d2710b4dfb562508f404","datavalue":{"value":{"amount":"+0.7560762","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":"Q3332238$909650AB-661B-401C-A394-2E3729E5C022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f98f4386f6f2458e4266b56b93dab1275fcea3e7","datavalue":{"value":{"entity-type":"item","numeric-id":5901160,"id":"Q5901160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0701605c6f09bef18a11d2710b4dfb562508f404","datavalue":{"value":{"amount":"+0.7560762","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":"Q3332238$09194C4A-BA0A-498D-8D74-FAA4230F792F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a12cd6f57f3f565269d0c74a31280aa59891cdbb","datavalue":{"value":{"entity-type":"item","numeric-id":4661927,"id":"Q4661927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0701605c6f09bef18a11d2710b4dfb562508f404","datavalue":{"value":{"amount":"+0.7560762","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":"Q3332238$03BBD723-62A6-41CB-A2CD-1781B5F637A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678b340ae409b90183efc0c8aa522edf5dafbe2e","datavalue":{"value":{"entity-type":"item","numeric-id":4993918,"id":"Q4993918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0701605c6f09bef18a11d2710b4dfb562508f404","datavalue":{"value":{"amount":"+0.7560762","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":"Q3332238$F1BB2CFC-3A34-428A-9FC1-C88CABE09976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a1f22b5173b4ff28791cbc9c43a8f22040033b","datavalue":{"value":{"entity-type":"item","numeric-id":5155994,"id":"Q5155994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0701605c6f09bef18a11d2710b4dfb562508f404","datavalue":{"value":{"amount":"+0.7560762","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":"Q3332238$9BC3D166-4847-4BD3-94FF-F003E01D4DB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3332238","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3332238"}}}}}