{"entities":{"Q3675509":{"pageid":5705415,"ns":120,"title":"Item:Q3675509","lastrevid":50014357,"modified":"2026-01-12T15:55:38Z","type":"item","id":"Q3675509","labels":{"en":{"language":"en","value":"The totality problem for program schemas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3896282"}},"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":"Q3675509$CB97AD40-AF34-4C05-ACBA-F95F1092FBB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f72c43c1ef12b0af956019191569f48d0feb94c","datavalue":{"value":{"text":"The totality problem for program schemas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3675509$6CC7901F-4A84-4306-B095-AEBA9DED03BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d4e226b626e3d9c318c8c3ad6da91da72a4b0da","datavalue":{"value":"0562.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3675509$32905958-C6AF-41B5-8FDF-D8D7789BF299","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"722fe6f83b43c1701fa488da25b3c7faa6defa6c","datavalue":{"value":"10.1007/BF01072151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3675509$F5AD69CB-9B7F-4496-AADB-2D17CF101EAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f12ab6a50dca285e32f059f3cef41583e61bc6ed","datavalue":{"value":{"entity-type":"item","numeric-id":174086,"id":"Q174086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3675509$A1C53D74-35F3-466F-BCF4-87F0571E2B68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3675509$88BF2F6F-8CEA-4CE4-8FD3-A36794BC1345","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3675509$DB748AD0-1841-424E-B18B-18A883B53739","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3675509$4B9F739E-D6FF-4533-926D-1D3B6B1077AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3675509$EA3CCD2F-9987-40FE-BAC2-D75DC04DD050","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d4083cdaf2c2df4ccf8c4cd99c2002df8e540a0","datavalue":{"value":"3896282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3675509$821D2C73-43B8-4CC3-BE9F-967E336A9FD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f3bf7f0e13dbe6055572a3ee17c0d87760cf32c","datavalue":{"value":"solubility of totality problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3675509$4F89063E-2CC7-4C63-A585-1AAB7C2B6D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"701b5175349cdd2d2c78c1b70ae52affb3eb327a","datavalue":{"value":"monadic schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3675509$E12BE6C9-36E4-4D18-B589-8AB7AC74EFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b03c49b82d0734d57f33c94a315844552bce99c","datavalue":{"value":"one-way nondeterministic stack automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3675509$9DA6A114-66E8-4C75-ACA8-717E09B53242","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":"Q3675509$B716C5BB-D585-4AF7-9228-1F8C2B0648DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3675509$C09BBCF2-E1DE-40B3-BDFD-FF98778098D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afde341e35903811a19e6223528d6898a49b5b4","datavalue":{"value":{"entity-type":"item","numeric-id":2543556,"id":"Q2543556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3675509$44EE5907-8712-494B-92EF-DA979988BE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0cd939242fd36328b2445f126f90dd1f4ce63e","datavalue":{"value":{"entity-type":"item","numeric-id":5402503,"id":"Q5402503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3675509$931F8E37-5E05-49CB-9ED5-F97FAA30BA84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afbeaf4f4239121fc854171feace09421af745c9","datavalue":{"value":"https://doi.org/10.1007/bf01072151","type":"string"},"datatype":"url"},"type":"statement","id":"Q3675509$E4C50423-9E85-4B5A-8144-022C3DABFC67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fd4207886991d2b19b6e5995aae70d146c57675","datavalue":{"value":"W2055073876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3675509$3FFD6D46-1996-415D-95C4-DC6049C1CCBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c9c919168938b5fe0011792d06c9e6350bc719f","datavalue":{"value":{"entity-type":"item","numeric-id":1183753,"id":"Q1183753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b7f2feaa22a1acd3abfbc90884e84344476add0","datavalue":{"value":{"amount":"+0.7734941244125366","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":"Q3675509$6B213209-E614-4157-B686-9AFD6F00C59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7340de27f6eb70f4051fe3cd0743d0e1a4608939","datavalue":{"value":{"entity-type":"item","numeric-id":3996874,"id":"Q3996874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e383388efa6a00623a41f2114ea431f206c79b3f","datavalue":{"value":{"amount":"+0.7527811527252197","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":"Q3675509$FBFDA710-0E28-46B5-9797-9574567122BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f637e1c012a0dcf9f83c36806667059e5d84dc1d","datavalue":{"value":{"entity-type":"item","numeric-id":1183814,"id":"Q1183814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706e4fbbf602573b3b70b1cd88eb2d2ec92637f9","datavalue":{"value":{"amount":"+0.7430887818336487","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":"Q3675509$1A46BA74-5277-450A-A0ED-FA6535CEFF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cb55ffba604c460a59c5a8868fbf886c3cede70","datavalue":{"value":{"entity-type":"item","numeric-id":3034804,"id":"Q3034804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790eb8c8c7a6148b51e33193c46736c7a8af73de","datavalue":{"value":{"amount":"+0.739439070224762","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":"Q3675509$E52EC241-DC78-445A-A7DC-E80FB06D977C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27fb91950cb9eb3fba92010f3e73fb63817e2e40","datavalue":{"value":{"entity-type":"item","numeric-id":1817131,"id":"Q1817131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e44f8818e3219265c1d7581efe85374e732be2","datavalue":{"value":{"amount":"+0.7361887097358704","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":"Q3675509$63D5CD8A-9030-417B-AE8E-81AE003BCE49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3675509","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3675509"}}}}}