{"entities":{"Q2873678":{"pageid":2884398,"ns":120,"title":"Item:Q2873678","lastrevid":51912536,"modified":"2026-01-20T12:54:35Z","type":"item","id":"Q2873678","labels":{"en":{"language":"en","value":"Regular strategies as proof tactics for \\textsf{CIRC}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250415"}},"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":"Q2873678$6DCE579F-2EB0-49E7-8622-AF61129918AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95953b07f8eb0d2690ca231ff51f55b548567379","datavalue":{"value":"1279.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873678$AC0EBEB6-15E8-470F-B06E-EF0690A0E4BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$E50808F5-8B04-4620-AF4A-DA0C9C197191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$20DA4361-96A5-400E-BD65-8EED953AB403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6493006e5dc4df6facd68b3840ef167dd62bd21","datavalue":{"value":{"entity-type":"item","numeric-id":916649,"id":"Q916649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$BC54BC97-1EAF-4BA9-8CAE-70B14A33820F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$BD833E80-ED38-40C9-B105-188D4088B844","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873678$3B3EF42E-7BA3-436A-82E2-B8599F5275B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873678$33685A59-809F-45EA-9C45-7DC7839BDB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873678$29645C38-01BF-4732-A63D-966BDB6BD970","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"975d0a9081f1373bf50f702cae9d821ee9fc5558","datavalue":{"value":"6250415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873678$67E8D558-B08D-470F-9DEF-AF63F227572F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a9f9f32f12a33241ca1a8b54c96cbc6deab43d","datavalue":{"value":"behavioral equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873678$D8C01366-74FF-42DD-A94B-31B0CDDA1D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e96128d67e45e44509811df253e73f58dbdc5","datavalue":{"value":"circular coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873678$EF0B1CB7-8477-4758-AC97-81A275D62C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7245b3e897e239e284695bee9141216a27a954d3","datavalue":{"value":"regular strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873678$65232ACE-9F2F-4292-BEE3-2A42D974A16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99ffa7ebc71301c2d6be6df68b1c5849b150969","datavalue":{"value":"proof tactics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873678$5FCC4462-CC65-4262-B622-89BB6DE4CBAA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$E8228530-8447-4BAF-9A82-A8BECCC3599F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccc2ffd670b43e26d7109c31b58efdd4cd25790","datavalue":{"value":{"entity-type":"item","numeric-id":18336,"id":"Q18336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$4C0A429F-0902-4022-8A09-25A263D41EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db773f0783d22fb6bffa08127db508527f4adb91","datavalue":{"value":{"entity-type":"item","numeric-id":24995,"id":"Q24995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$B0EFBDAC-E063-4AA7-94D6-34352A5A0B57","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":"Q2873678$04B6A4B8-F568-4EEF-98E8-6730BA299EF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81985ac40cd9fb99c2cbf1a0a2f98f0a6e62131c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.03.055","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873678$4F5E9E74-36D7-42D1-A344-5AEE50F1A4FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ae698f51bac48ccf5a71c620304f1e04b28771d","datavalue":{"value":"W1998735422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873678$365AAAAF-BBE4-4B17-AA67-9ECDF5FB961C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd94c9f885ba3e6669741eb6ab6af5cb1cb9582","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$B25675DC-B05E-4419-A91E-7A4098410179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$2F945FBF-61B6-4E1B-A025-1570CFE46F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf132045a21c8f39d628645d0f41b0ba009c190","datavalue":{"value":{"entity-type":"item","numeric-id":5900823,"id":"Q5900823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$46CB5377-AD9C-4F2B-88D5-108C72F84BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccaf6437fe1af4176d3c1c9cd63223d13f97c9b9","datavalue":{"value":{"entity-type":"item","numeric-id":5316440,"id":"Q5316440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$75D1A594-F74D-473A-9DFB-12CD659EF6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bb4d13ba9b44ec359f7e88a5b3439acbd7bf1d","datavalue":{"value":{"entity-type":"item","numeric-id":1179807,"id":"Q1179807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$F43CF3E4-BA64-4878-B0B7-9A92A38322F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$07255FEC-D083-48E3-BB9D-F17EE5145985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430461b6883a7663fba1e8d32bfc88fe9b4e4d49","datavalue":{"value":{"entity-type":"item","numeric-id":4209294,"id":"Q4209294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$1730613D-3C86-4C81-9305-B2D41EA3786C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$6703999C-8DC5-4F82-8BF1-BE5D7E0A3C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e0f21077419bb3e23f4e63ca54f333d1d198be4","datavalue":{"value":{"entity-type":"item","numeric-id":3612501,"id":"Q3612501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$9167C39F-9DF4-4AFE-B89A-EDAB8A082A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de8ad027862d538b2b6f8571a66c4e0ce34b32e","datavalue":{"value":{"entity-type":"item","numeric-id":4447254,"id":"Q4447254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$B2257218-EBA7-4FB0-A1C4-ECF7E378696B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bf6819b247637d57ad2d3d368d794e14cb86bc3","datavalue":{"value":{"entity-type":"item","numeric-id":5348884,"id":"Q5348884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873678$13FB5098-76B5-4391-8248-2B9C4809159B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d267eb2fb9859bc5e812945bd193c56ead640435","datavalue":{"value":"10.1016/J.ENTCS.2008.03.055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873678$BFE424D2-3266-40CF-85F5-400961233E3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15d7a1bbc17a1c936caa18aee23066928bac9179","datavalue":{"value":{"text":"Regular strategies as proof tactics for \\textsf{CIRC}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873678$593A07C9-48DD-41FF-8DB6-E43B770B51A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88d5c4105bd54b2dc07fa9bae0d1279569ce522","datavalue":{"value":{"entity-type":"item","numeric-id":3612501,"id":"Q3612501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a1f4f4970aef2a485577f31bbd81fce7bd7efa8","datavalue":{"value":{"amount":"+0.9096496105194092","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":"Q2873678$637F0CB9-604B-4D5B-89C9-1FFAD2BF2A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012b3dcc839d68d8a000fbdc331f32456ef77b32","datavalue":{"value":{"entity-type":"item","numeric-id":2888503,"id":"Q2888503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938488c74a7dcbda94e865fc5b376c882743671f","datavalue":{"value":{"amount":"+0.8278266191482544","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":"Q2873678$E6862DB2-4A1B-4F60-BE5A-9553BDDD7FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d848fd39fcd180d6dd51093a428c6d8a947b6b","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969760b9b5c41eca589a6424f398070c385e8798","datavalue":{"value":{"amount":"+0.8220359086990356","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":"Q2873678$6D740AAE-B8AC-49A8-ADFD-DF0AA89772F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e2c18fecea17b612f87443f804a3ed510fb2be7","datavalue":{"value":{"entity-type":"item","numeric-id":5900823,"id":"Q5900823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a27a887e90f11a615777d58b2057de57f3bb5b06","datavalue":{"value":{"amount":"+0.7785775661468506","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":"Q2873678$1A64F12A-6946-4608-9890-AD21674B2A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058d0a25272db99d2dda9d0b9e29bc68206441dd","datavalue":{"value":{"entity-type":"item","numeric-id":5327356,"id":"Q5327356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41508a10e26a84dacad3ea3bba3f651d0b87c4be","datavalue":{"value":{"amount":"+0.7669109106063843","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":"Q2873678$EB1A93A6-2CEE-4CD6-AB10-EEA09D9FC235","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2873678","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2873678"}}}}}