{"entities":{"Q4037101":{"pageid":6066819,"ns":120,"title":"Item:Q4037101","lastrevid":55246576,"modified":"2026-02-05T06:59:06Z","type":"item","id":"Q4037101","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177249"}},"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":"Q4037101$077CDA65-0A14-4652-8E85-39A687B3108C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfae0351bb2ecffab92284f432e09c6a0958837a","datavalue":{"value":"0774.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037101$627D0E8B-7906-49E4-B53B-FEB4DA704F73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f69046686ca08deb3c80248bb51f9f0153a830","datavalue":{"value":{"entity-type":"item","numeric-id":1199534,"id":"Q1199534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037101$883FFF16-E3C6-41E1-A7C6-9828460F9D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5843f06079142028107408ac148a5ab02e9d7def","datavalue":{"value":{"entity-type":"item","numeric-id":4037100,"id":"Q4037100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037101$D9BEAEB9-E967-4CB0-AD8C-2FBA616998D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79ee1db7326267f551462b9638f98d9a7c0842f","datavalue":{"value":{"entity-type":"item","numeric-id":1199533,"id":"Q1199533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037101$22D652A5-2B0C-4FD7-8134-CB7F2C09A56E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037101$59DCFDAE-171E-4E65-AB80-AEE9986069E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037101$2BF18877-2A46-449D-86ED-17A2750C87A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037101$303C2A42-3471-44D2-A61C-DC8C661BFB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037101$4FA2EFC4-53AC-4A03-BEDC-7499924A6418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037101$0026A7D4-8AA1-4182-B8F2-6B1AE7527916","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2bb90fdf3dee958c05836378604e536ffdcbe7b","datavalue":{"value":"177249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037101$8E490EA0-EB10-4A46-B3DC-7144F5F1AE3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3542963eb421bb6af1e8ecde3c4376be009ba28","datavalue":{"value":"model checking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037101$EDF2DD22-19C2-4DC8-B7BC-C182CE0BD9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037101$A98CF5BC-2F25-469B-93CA-FB9ECD4F0B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4cc4b5275ad7525aa197fd9d68f2cf983303d80","datavalue":{"value":"vector processors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037101$CC57B607-9E7E-450C-9F35-A94B219B6724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037101$C2C7BDCE-98C4-42A8-8311-E19418350A6E","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":"Q4037101$CA94FDA6-6556-4749-B3A8-46080C0AE849","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a1fb5b95119693268a4d9baaf12d643d1af752","datavalue":{"value":{"entity-type":"item","numeric-id":4037373,"id":"Q4037373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f3a9581220878f5dca7e8bbec3be83f2b046cc","datavalue":{"value":{"amount":"+0.9479940533638","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":"Q4037101$CE35D226-372D-4B9F-ABC4-FCCF5F7F138E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b1df651a26642865f2f63d15886ca9292d8f63","datavalue":{"value":{"entity-type":"item","numeric-id":3003330,"id":"Q3003330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f3a9581220878f5dca7e8bbec3be83f2b046cc","datavalue":{"value":{"amount":"+0.9479940533638","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":"Q4037101$549AC533-383F-49A9-83E6-F8E17D456F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63018600324a71859f0d043848bacee9a1ae2407","datavalue":{"value":{"entity-type":"item","numeric-id":5930944,"id":"Q5930944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e47091d8db931a0b3556faae5e6fe052636fdb87","datavalue":{"value":{"amount":"+0.8156635165214539","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":"Q4037101$30D7529F-5DC8-4762-AC70-EE3D469EA281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f3170019fac32b2113488c1991e48e7bf13010","datavalue":{"value":{"entity-type":"item","numeric-id":5465889,"id":"Q5465889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56b501d731f38ce8c2bb4d9699f0e989460ff35","datavalue":{"value":{"amount":"+0.8156633973121643","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":"Q4037101$5D2E70F0-4126-4544-9E28-9B40C9E4EC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca522f2f833db3826493b39383074bf163777bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2848152,"id":"Q2848152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"277496a97983f888457c607ffa44910991dbfe24","datavalue":{"value":{"amount":"+0.779215931892395","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":"Q4037101$90EEBA05-7D01-4A59-851F-9549BAD4ED83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037101"}}}}}