{"entities":{"Q1383151":{"pageid":1393891,"ns":120,"title":"Item:Q1383151","lastrevid":68591475,"modified":"2026-04-13T00:46:55Z","type":"item","id":"Q1383151","labels":{"en":{"language":"en","value":"Termination of system \\(F\\)-bounded: A complete proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1138497"}},"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":"Q1383151$6C2F0DA1-8B7D-41B7-91F2-3D73EB019ABE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f71140fa645297090d35d76a33457ee5a369d70","datavalue":{"value":{"text":"Termination of system \\(F\\)-bounded: A complete proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1383151$5BF9EDCB-E688-4B66-9DB2-F5651D5262F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2833a7dc011370881789596e7884249852f17d49","datavalue":{"value":"0892.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383151$C29630BA-801C-4AE6-8896-73E9646789E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee23461be9262b029750fffafa71dd9be63b3f19","datavalue":{"value":{"entity-type":"item","numeric-id":673965,"id":"Q673965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383151$B5E3ECB9-CA8E-4671-8029-42FEEEE91513","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383151$D3224B83-9EDD-488E-BC1A-C13BB3C626B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb685578c18b7608eb5c088491627764c8f04613","datavalue":{"value":{"time":"+1998-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1383151$DC12DA23-97F6-4AC9-8958-93BAD90B813B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383151$000D4F5D-825B-4AF1-B458-A9303F78B2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383151$65B3589F-B51C-423F-AF58-0E74B534B50D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27701510e43cf50e77f00797eb6701fd035d13af","datavalue":{"value":"1138497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383151$39FB3A95-774F-4842-8222-BB653CD19658","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f887b9e79947e92733b05d80b7fcd5ef19254f8f","datavalue":{"value":"system \\(F\\)-bounded","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383151$6B99E16C-2335-4B5B-8158-05D15117C79C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383151$8860C53E-B734-411B-8CA4-0A32B824C71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e04c6a3efeea24f234a22b139862f59e785ef013","datavalue":{"value":{"entity-type":"item","numeric-id":26111,"id":"Q26111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383151$7256DB5D-BEFE-47BA-9DC2-E5286D093A5D","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":"Q1383151$8582BAA2-B607-45CA-A4AF-526904F9D96F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aaec1586e309192029fd917107c3f341a02cb8b4","datavalue":{"value":"https://doi.org/10.1006/inco.1997.2662","type":"string"},"datatype":"url"},"type":"statement","id":"Q1383151$1A6E4DCD-2B87-410F-A8C6-838F46ED1AA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"beb7b52a5e09a152bccfe7a7967adfb149220cdd","datavalue":{"value":"W2022460813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383151$6B1BCEBD-3BD9-40EE-B33F-B10AC7D2078E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1c3af5b659c9cec818970365dbdcb96722aee3","datavalue":{"value":{"entity-type":"item","numeric-id":4764618,"id":"Q4764618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383151$C46091FA-A902-4A46-AADE-76D48E428A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65795f6000b6bce782c0e6be873ab44154cb4a01","datavalue":{"value":{"entity-type":"item","numeric-id":922718,"id":"Q922718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383151$CCF4AC9C-D7C9-4CC1-BF19-499524B10A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be63c5f271ce7f1f200c26e0ab76283f6d86ebd","datavalue":{"value":{"entity-type":"item","numeric-id":1322473,"id":"Q1322473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383151$E403F41F-660F-4AEC-8DED-83F9E0F80FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8d9ead5f4aef6a0df48651eef887001e51c4a5","datavalue":{"value":{"entity-type":"item","numeric-id":4005456,"id":"Q4005456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383151$1B8D597A-402A-4EE6-8D9A-EF77B6DE505E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60afb1a60f89c9f877c5dd310018f93c1008080a","datavalue":{"value":{"entity-type":"item","numeric-id":1322474,"id":"Q1322474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383151$D93837F9-AB88-4EEF-B682-D3E050E60707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24ffaab2f8d62480d8d7f32113a8d3734f7ee2e","datavalue":{"value":{"entity-type":"item","numeric-id":4490764,"id":"Q4490764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383151$631D327A-56A0-41AD-BF2D-97DD1B5711C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e40c9c557c135eeb7ecb9f55bce2bdb98ea8b63","datavalue":{"value":{"entity-type":"item","numeric-id":1899911,"id":"Q1899911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383151$DBB57EF3-3291-440D-954B-C81A37564436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74236444b9405abe628a3c6e2a1cbab41fc3b506","datavalue":{"value":{"entity-type":"item","numeric-id":4385534,"id":"Q4385534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383151$66B4812C-D4C3-4CD5-AF15-02D53B08E5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb3d6e415993a24834eb6711faa6c314c6b40a4","datavalue":{"value":{"entity-type":"item","numeric-id":4764619,"id":"Q4764619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383151$29509480-3726-4EE8-B1F4-48C298449B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383151$074EAAD4-7FFF-4F73-9D90-1609E0109C19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d000a33f50a213ce02f9064de827089307f8a0a","datavalue":{"value":"10.1006/INCO.1997.2662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383151$8D700380-CD25-4E4A-997A-D92F7A7A3BC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd09690e3e8e3f10f5f1e81dda72e632260f3df","datavalue":{"value":{"entity-type":"item","numeric-id":1854309,"id":"Q1854309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d0c292f8b4c80511f53d12c79e1e8efea4b092","datavalue":{"value":{"amount":"+0.8011542558670044","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":"Q1383151$1A4C5A57-B5C2-410C-9D44-7C533690F8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da613220951a6ff0da516ba157f14995da7c95cc","datavalue":{"value":{"entity-type":"item","numeric-id":4855344,"id":"Q4855344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b6ee7873a1543270f5252812bcba2d513321f0","datavalue":{"value":{"amount":"+0.7801739573478699","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":"Q1383151$CA471BC2-498C-4B39-9E49-4FEB4190CDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c69c984026464bc3ed3212594c1ddf307a8382e","datavalue":{"value":{"entity-type":"item","numeric-id":3035254,"id":"Q3035254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c043559f2787a3180bcb71b31ed9d4bbb741de78","datavalue":{"value":{"amount":"+0.7743905782699585","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":"Q1383151$3729F06B-FA4A-48A0-87B5-4D91CC68EFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"205f6d0e7a081153abff00e1f1265f684cd4c10b","datavalue":{"value":{"entity-type":"item","numeric-id":1899911,"id":"Q1899911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6edd6d230a1f6a0d38ccfa04648f45a79c4066","datavalue":{"value":{"amount":"+0.770051896572113","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":"Q1383151$83DA7AE1-8F92-486D-B83A-67D7099AA96A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination of system \\(F\\)-bounded: A complete proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Termination_of_system_%5C(F%5C)-bounded:_A_complete_proof"}}}}}