{"entities":{"Q1230665":{"pageid":1241415,"ns":120,"title":"Item:Q1230665","lastrevid":66403239,"modified":"2026-04-12T09:50:29Z","type":"item","id":"Q1230665","labels":{"en":{"language":"en","value":"Proving containment of bounded AFL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3529434"}},"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":"Q1230665$5430D92B-5419-4D94-85D7-60F9D0033B9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc8a9bbc3365b01603bbe81cbaf0004d758a09ee","datavalue":{"value":{"text":"Proving containment of bounded AFL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1230665$F59104D3-59E6-4ECF-9521-A0AF938338DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77fb2cd10afb807787abd1ae71ae5335163f61d0","datavalue":{"value":"0338.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1230665$FA08E4B1-FAB1-4F53-97F5-853CA395B2F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2502e5ac3c6054f12251fed267952a83e834dd35","datavalue":{"value":"10.1016/S0022-0000(75)80048-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1230665$C856EF20-1B65-4D28-BB6A-D17CDB9C2EC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1709f87555acd724c2f9009e7d2a10f48e30775","datavalue":{"value":{"entity-type":"item","numeric-id":811116,"id":"Q811116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$B356BDD9-9F9A-4DB5-822E-79608D92467A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$12D7958F-43FE-4743-A25D-158526781189","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-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":"Q1230665$EBCA3027-CF0D-412D-AF3E-7482B5BE0716","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1230665$D93891E4-7EE9-4BE6-876F-E946E5ADF830","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fca24238b0ff20d45fdb5d82dde27bc3e39ba8f","datavalue":{"value":"3529434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1230665$63A0E1E1-D061-44DF-BC92-DCA36EBCBF37","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$36DAEE59-EE92-45A8-8A06-12626306104C","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":"Q1230665$EBEC193D-82B9-4615-826E-D12710076850","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a01ebfe46235cca46529e7eb765d14986dd7f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5637896,"id":"Q5637896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$001C1EF3-F4BD-4027-801F-51E65624E797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$E53677B0-ED5C-4F81-9756-EA0FC42A9917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfe7179d2925e2616f439dd7ea8172dc487e0e7","datavalue":{"value":{"entity-type":"item","numeric-id":5664823,"id":"Q5664823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$013AC0F5-E956-44E6-AA24-26FC2BD7735D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a959d835f7dcf73d17a7ccf8f674f4bda931c5d1","datavalue":{"value":{"entity-type":"item","numeric-id":4066625,"id":"Q4066625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$7E178C25-D73B-4BAF-B2C2-09AE8328B1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9384a4ceac432f210d98b65980a5c8fc7973660d","datavalue":{"value":{"entity-type":"item","numeric-id":2540269,"id":"Q2540269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$6499C801-0E47-4F53-89BC-24EA9E4B1013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"602eff9fd3725c72d5b710af4e8a2e7e275cee0d","datavalue":{"value":{"entity-type":"item","numeric-id":5627632,"id":"Q5627632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$3FA9CF71-2043-4D35-9F2A-C4C534C53DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870c5a38858355caeeae9f446f0a3e85a9be75a4","datavalue":{"value":{"entity-type":"item","numeric-id":5517673,"id":"Q5517673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$01843561-E181-475C-9638-98DD63BA9C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f1c3c4ea4a388fc55b35b4656b5fa305b149b6","datavalue":{"value":{"entity-type":"item","numeric-id":5525345,"id":"Q5525345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$2CFF8DE3-9B56-4A0F-A135-29F546AA6409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd905610fcc66558e31a98512d73e4e0608de820","datavalue":{"value":{"entity-type":"item","numeric-id":2550965,"id":"Q2550965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$6178D9DF-3A8E-4EF0-BD46-16A17ABE8EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f58585a4be81f2c9307fba680027952ccd2071c","datavalue":{"value":{"entity-type":"item","numeric-id":5619630,"id":"Q5619630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$E54B3E9F-74BF-48ED-8A72-8EBED084929A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf04891760718886e9fc508bc9608af5216018e1","datavalue":{"value":{"entity-type":"item","numeric-id":2532393,"id":"Q2532393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$2F564E23-0299-4912-87D4-A4F37810D0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b274e48fff34c187de819acb1ccfc4035b6db13","datavalue":{"value":{"entity-type":"item","numeric-id":758321,"id":"Q758321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$78563933-A250-4277-808B-0C830F99E143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8a1e7c7aae77afda3dc242c9a9d4c2ad31ecb8","datavalue":{"value":{"entity-type":"item","numeric-id":5799732,"id":"Q5799732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$F8333D8B-020F-4839-BFD6-5C32666372C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$4ED581C0-0068-4DDE-93DE-0A937C72745E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a2aa95a334404e19236b501d00c62faa5e3dbf","datavalue":{"value":{"entity-type":"item","numeric-id":2546302,"id":"Q2546302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230665$97F0747B-7CCB-4A56-8633-501D91F3AA43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving containment of bounded AFL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_containment_of_bounded_AFL"}}}}}