{"entities":{"Q1189257":{"pageid":1200006,"ns":120,"title":"Item:Q1189257","lastrevid":67053366,"modified":"2026-04-12T14:37:08Z","type":"item","id":"Q1189257","labels":{"en":{"language":"en","value":"Automatic verification of a class of systolic circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 54867"}},"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":"Q1189257$A8D4A58D-D07C-49BE-9C6C-6082FEA90581","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0240832e1bacc3f537f10adce19f28d1fe6e63f","datavalue":{"value":{"text":"Automatic verification of a class of systolic circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1189257$7F22431D-9849-48A4-932A-028406C59E6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58c507183b94b1a1367bbc64ad1937e19660d63b","datavalue":{"value":"0764.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189257$46BDB23B-123A-4EC0-B9A6-07920A75BBB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47c00dc57ee21a08ae50d69ab81e74cd3a7acd22","datavalue":{"value":"10.1007/BF01212335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189257$0E8C1766-20D4-469E-B462-45481692A700","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189257$B6F0C555-245E-44C8-AC70-AB1B17C7F762","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1189257$186A5516-FE1E-45B5-9374-EC0D54AB45B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189257$C6957AF0-3A49-4E5C-857C-72878F5C4530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189257$8F3DED79-BAB1-4B5E-A474-8B405A3E39CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10b85655aba2fdb6347555277df2ffd39ea1a82a","datavalue":{"value":"94C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189257$D9BE25F1-7F15-4EF0-9513-F8196D67249D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"742f51fa7fd87badc1adeb51e4052d7e3636cc06","datavalue":{"value":"54867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189257$C0854B55-3667-491E-84CD-A70CD7F4D618","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189257$7FF671F8-8D6A-4C0C-8DCD-2715D58CB0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"756d661bac15f6d83bc942c4452f543245774b61","datavalue":{"value":"decision methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189257$40669A0E-5B98-4511-B951-E7A850B9E2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc726dffb20da191f19866155faca1909d76fc25","datavalue":{"value":"systolic circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189257$7AD6ACF9-3841-4BFB-8572-17192BF8564D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189257$F036ADFA-E70C-44DD-B4C2-3AA074883E33","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":"Q1189257$981032DA-CA73-4634-B85D-63B7FD596BAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"007d28020364fa61db482d0ee2e50a45e3976a32","datavalue":{"value":{"entity-type":"item","numeric-id":4041633,"id":"Q4041633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189257$5BB6C1DA-A1EB-40DA-9952-0D40C2B8643A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189257$A3AE5F8B-9B5F-4B87-B145-0332FAEBF1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ce10f2c105db58ec72d58d5665464175b07498","datavalue":{"value":{"entity-type":"item","numeric-id":921983,"id":"Q921983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189257$278E20B3-E87A-4582-958B-ED6DA5DC142E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189257$94D33ACC-6073-4B72-80A0-96EEEAAC56B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53272d2173db9c6e31a2df5def7f3ca8e8e0c9bb","datavalue":{"value":{"entity-type":"item","numeric-id":3753927,"id":"Q3753927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189257$8B8528A4-CD44-43CD-A89B-EA63BB3D2923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad2253386c325fda492b594cc77791f71d34edc","datavalue":{"value":{"entity-type":"item","numeric-id":3732952,"id":"Q3732952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189257$DFA7A43F-FCBA-4871-BCB4-3E01F5525BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"643bf702a84308e7f3600ff8fc2aa81d70da7e4a","datavalue":{"value":{"entity-type":"item","numeric-id":4723293,"id":"Q4723293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189257$97F479E9-6A15-42F6-B5C6-FA69A01AF13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca01c0741f90569c50bc206bda2daaaa787c29b","datavalue":{"value":{"entity-type":"item","numeric-id":3338117,"id":"Q3338117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189257$1E9376DD-7C93-4C10-8ED4-C46AC527B809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa4cee93a61b0198fb10d69fe0b30893ff46d77","datavalue":{"value":{"entity-type":"item","numeric-id":3801466,"id":"Q3801466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189257$DFF1C34E-7DD6-419D-ADA0-EDD56C5011AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a85ec61546a1b5a78306ea4889b2ad560069574","datavalue":{"value":{"entity-type":"item","numeric-id":1123588,"id":"Q1123588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189257$68F60A7A-36EC-4752-A125-2323502DFC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d1d1cb66d27d2e53aba37392ad47b61e11f859","datavalue":{"value":{"entity-type":"item","numeric-id":3326832,"id":"Q3326832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189257$9C149FD9-38C3-4D02-8B52-A2EA5BFBFB4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dbfbf89cbda862a4f566a38f176416f54cc2b01","datavalue":{"value":"https://doi.org/10.1007/bf01212335","type":"string"},"datatype":"url"},"type":"statement","id":"Q1189257$1AD60529-BFB1-4930-AD23-BDE8EF9C149A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b94946fe90c7d0bb94379e8b1825aecdbc9fe591","datavalue":{"value":"W2031444332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189257$032C8CFD-9CD1-4CB7-A788-EB75D4F33B7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a0823fbee8ce54ee6e908d466a6fd4b4e0f9a8","datavalue":{"value":{"entity-type":"item","numeric-id":3338117,"id":"Q3338117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b5f6b76d1b842c1e395f982d4a807f5f681dea","datavalue":{"value":{"amount":"+0.7712357640266418","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":"Q1189257$3A0B9D40-01B6-4957-BE37-B2A4898F849C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6310ba8015df3d68701986d709ae53089ce26cb4","datavalue":{"value":{"entity-type":"item","numeric-id":3722428,"id":"Q3722428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"479897dcaf38e9ae7b013bdd6ac56082a497cb27","datavalue":{"value":{"amount":"+0.7453921437263489","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":"Q1189257$14FD13A0-2C3A-496F-A611-6B8F9BE65C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc82ddf8e293b54268becba9cebc82e2273a9f7c","datavalue":{"value":{"entity-type":"item","numeric-id":1123588,"id":"Q1123588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e68d0fe273f2196ec2f5939cafe05d5c12968d16","datavalue":{"value":{"amount":"+0.7438353300094604","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":"Q1189257$5431502E-0AD1-4CD0-99D2-373B9D2843B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b008d3b3b2ea20f4bfbe266a0919641c5b8f5bf9","datavalue":{"value":{"entity-type":"item","numeric-id":3768390,"id":"Q3768390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"594732ebb8e85a4df7065018a0aa5ae83fa5ea6b","datavalue":{"value":{"amount":"+0.7428512573242188","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":"Q1189257$F3972F3B-0575-4B9D-9D04-7902E1C7C227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f486bd666e88c907d2565347eba4e4f0d66cd9","datavalue":{"value":{"entity-type":"item","numeric-id":4728253,"id":"Q4728253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987e534628b5c16045a1ee570a95fa5fee6ed00a","datavalue":{"value":{"amount":"+0.7400651574134827","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":"Q1189257$A3148B43-AED9-4FB3-8C8E-748148169FD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic verification of a class of systolic circuits","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_verification_of_a_class_of_systolic_circuits"}}}}}