{"entities":{"Q3830981":{"pageid":5860887,"ns":120,"title":"Item:Q3830981","lastrevid":54465857,"modified":"2026-01-26T23:36:31Z","type":"item","id":"Q3830981","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4106816"}},"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":"Q3830981$9FBF0C79-8C2A-401C-A6A2-188E9F667474","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50db53b52147a59423fb1ba0df3c8887b687172e","datavalue":{"value":"0676.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830981$DE0CFEC9-F4BA-452A-AB05-1EB99D411ADE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9500a24b044ea45e45632f0284c5ef5271bcea7d","datavalue":{"value":{"entity-type":"item","numeric-id":357153,"id":"Q357153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3830981$7D5B7A2D-D633-4449-9AAE-ABCBE6FEFCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"099b9a859cc3554e848caf741ccc5818f804f64a","datavalue":{"value":{"entity-type":"item","numeric-id":1132548,"id":"Q1132548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3830981$44F7D417-9FE5-424F-BCD6-49DC86C665C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"186b7d4dd9f4ce576101d69d1a6b0986fecc0e22","datavalue":{"value":{"entity-type":"item","numeric-id":1172629,"id":"Q1172629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3830981$62ED8C20-B70C-48C4-8950-7484D1E79174","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3830981$785FB27C-7805-4D8B-AE3A-E2C89B74DE41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830981$517DDC84-403D-4E9F-91B9-86F291E5A9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830981$EE5BEE92-91BC-4842-9A7A-FD82DEF36F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830981$D55D39EB-C4B8-4F22-9F3E-4453E7AF65D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9ef3429f6a6611ab54988cfc0de7f23de90b1c4","datavalue":{"value":"4106816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830981$BE2F8E98-7369-48C8-8C54-9551918C26BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9da4a686dc5bd3f019b0ebf7e830089ab40ece2","datavalue":{"value":"deparallelization of logical inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3830981$63545E0C-9537-46F2-BA11-53C5BC85A91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7591925ca859664e6839214a66d3c433c781f1d4","datavalue":{"value":"parallel deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3830981$CAC8E486-7A14-46C6-B855-CC581DC38183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d234bcbc93f846108fd94b53f976072450ba7f70","datavalue":{"value":"representation of deductive inference procedures in first-order logic by interpreted Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3830981$235D1A6A-49CB-422C-942D-D9886DD55059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f497087df38e71178c4b3537b294a7438fdfea81","datavalue":{"value":"hardware realization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3830981$5B0C4EB4-3E4F-4F10-BABE-9787C8E76D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5e0888fa9957c443e210eb3c88f717e276ae13","datavalue":{"value":"parallel processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3830981$3170C89C-D208-47C3-A732-AE3E894017E9","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":"Q3830981$C2904860-52D3-429E-BA29-F5BE74AD0885","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6effa43d6010e1a0216eb87b866c136589c4f272","datavalue":{"value":{"entity-type":"item","numeric-id":2056355,"id":"Q2056355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d3afaf35f9859bde759fad586043ccdcc4d644f","datavalue":{"value":{"amount":"+0.7958328723907471","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":"Q3830981$F8D2D4B3-E714-4B2C-81E7-F9824B348807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73e1f203d1418f4da64a61dfe1e3e5a07d59a90","datavalue":{"value":{"entity-type":"item","numeric-id":1778348,"id":"Q1778348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e3ddd571fe1e78e6493c08b0b8b687f98d941ff","datavalue":{"value":{"amount":"+0.7950696349143982","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":"Q3830981$6FF8499B-44C4-46BA-BD34-CC5B5C51BE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203567e15fa05b00ea1094fbdf3ff63a3b73b300","datavalue":{"value":{"entity-type":"item","numeric-id":3804251,"id":"Q3804251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db3c726ada69a9a0557093abf196a8eb5c3fcf5f","datavalue":{"value":{"amount":"+0.7902860641479492","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":"Q3830981$5C8568CE-EB18-49EB-816B-83B717519BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93d7a4df77acba5ec8e234683351d0bac0e958cd","datavalue":{"value":{"entity-type":"item","numeric-id":3727394,"id":"Q3727394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eca298e6b5248025c852a590928c5d516ebd89d","datavalue":{"value":{"amount":"+0.7861384749412537","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":"Q3830981$E2D3C2D9-DDC1-4DD4-99C9-D76C06473F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee7adadbbdcedda8a82e3ef550c54c50187a7be2","datavalue":{"value":{"entity-type":"item","numeric-id":2488156,"id":"Q2488156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64565965fe4fde4a29c2002a3c65356c0c363f61","datavalue":{"value":{"amount":"+0.7666025161743164","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":"Q3830981$F7A14C27-8F0F-46A3-B2F1-16EF32FCC197","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3830981","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3830981"}}}}}