{"entities":{"Q4910713":{"pageid":6940292,"ns":120,"title":"Item:Q4910713","lastrevid":58356225,"modified":"2026-04-04T20:59:26Z","type":"item","id":"Q4910713","labels":{"en":{"language":"en","value":"On termination for faulty channel machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6146449"}},"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":"Q4910713$5187D51B-BE67-4763-8A82-6F02F9194585","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b317c7da810dbf5298d712b93b5793e00d5be162","datavalue":{"value":"1259.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910713$33841926-383F-481C-95F0-31BD8B171E5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910713$D6F6853A-3A48-46A3-A9C4-D0F87FAA134B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910713$D197C4EA-B991-4A0F-B8A6-A51202CCB7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910713$A6BC857F-F2ED-41A2-88BD-4BA201CAB636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4493e58bf4fbc540cfb048ba7a90aea2a6a229","datavalue":{"value":{"entity-type":"item","numeric-id":1045896,"id":"Q1045896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910713$FF86107D-8F80-4F8D-B1C0-209919CA804A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910713$C8B1A43C-BFA5-41ED-918D-D5D6A8B99755","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b36cae3d8cf11c479e6d5b4030a31d81c96c839","datavalue":{"value":{"time":"+2013-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4910713$9EB31FF4-C8C7-40B7-996D-29B1FC499AE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8343606fced3968a96d7a1d908410b5ca40930cd","datavalue":{"value":"https://arxiv.org/abs/0802.2839","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910713$21FB0590-5D07-42BC-963B-F4807AF91C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"91d9f0313cdeebadd8e9ab0f206f06018e44be09","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_45a6.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910713$2A8F486C-EEC8-4E9E-A44C-183EDA4C79F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910713$0B22F49A-18DA-45FD-9934-984D173F9DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910713$23746911-2EEE-40DD-A46A-F2AC4FB6C720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910713$A4A64A7D-6D87-4C4C-822D-D6A7C1B0D894","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c72dfce1c691e9452fa183fa2684847ddb4bc24","datavalue":{"value":"6146449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910713$51447A64-9648-45E7-92B1-E1B12EB97C87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910713$EC2B259A-579F-4F2F-A704-BB1849B991C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910713$10D15E2C-7700-4D6B-A9FB-4D420C5B6A7C","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":"Q4910713$37390402-9608-4202-9819-39E7AAFC203D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10c70c1a4be8a91d5337ab61fc629436f266fd9c","datavalue":{"value":"10.4230/LIPICS.STACS.2008.1339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910713$4B0560D8-4A77-404F-BFD2-2632461DED71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ca2f25cc1a01355cd97f5654e90c1e0a12947bd","datavalue":{"value":{"entity-type":"item","numeric-id":1941874,"id":"Q1941874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c119dbc30526f362b94035adfcb2aaecc73497c0","datavalue":{"value":{"amount":"+0.9061657190322876","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":"Q4910713$DBCEB49D-44D0-459B-B833-2B7941F711AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20cf7428dc6490e6ad8f20e80cf35ca082514b3","datavalue":{"value":{"entity-type":"item","numeric-id":1908353,"id":"Q1908353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2735054ac298e095927a310469be0d5db368897","datavalue":{"value":{"amount":"+0.7601969838142395","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":"Q4910713$5A0481CF-7621-4807-BE03-DEA029A9ACE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e93d93c0a75c47198b3e97919e7d036dfed3f08","datavalue":{"value":{"entity-type":"item","numeric-id":2037198,"id":"Q2037198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0142c01b705df40e1e3f3a29ec28f4ccdb341a2a","datavalue":{"value":{"amount":"+0.7388098835945129","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":"Q4910713$5C7A301B-17EB-4AC3-AB33-9A121F6A3C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ec57515412ed5c2987f5638abe4e0855b6d60d2","datavalue":{"value":{"entity-type":"item","numeric-id":4508393,"id":"Q4508393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8eab77e637628842c2515a179a1718cf243449c","datavalue":{"value":{"amount":"+0.7318459153175354","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":"Q4910713$67119D88-B882-472C-8237-C88CDEC085B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf7295fcd5233cfdcf83fc78f131cbe89109e0c2","datavalue":{"value":{"entity-type":"item","numeric-id":3216146,"id":"Q3216146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa52f566cf8eb04a859edb2241319c4d37c6ca94","datavalue":{"value":{"amount":"+0.7261178493499756","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":"Q4910713$F3A949FA-C7CD-4A5D-89AC-55FC5528E51A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4910713","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4910713"}}}}}